LibWeb: Stub HTMLMediaElement.pause

Required for rendering GIFs on Discord.
Author: https://github.com/Lubrsi Commit: 1e9cc2e211 Pull-request: https://github.com/SerenityOS/serenity/pull/16400 Reviewed-by: https://github.com/awesomekling Reviewed-by: https://github.com/linusg ✅
2025-07-31 21:29:06 +00:00 · 2022-12-09 18:49:36 +00:00 · 2022-12-09 18:49:36 +00:00 · 1e9cc2e211 · 2024-07-17 18:46:30 +09:00
commit 1e9cc2e211
parent 2c77364716
3 changed files with 8 additions and 0 deletions
--- a/Userland/Libraries/LibWeb/HTML/HTMLMediaElement.idl
+++ b/Userland/Libraries/LibWeb/HTML/HTMLMediaElement.idl
@ -19,4 +19,5 @@ interface HTMLMediaElement : HTMLElement {

    CanPlayTypeResult canPlayType(DOMString type);
    undefined load();
+    undefined pause();
 };