Files
desktop/src/dom/chrome-webidl/MediaController-webidl.patch
2025-03-17 20:14:53 +07:00

33 lines
1.1 KiB
C++

diff --git a/dom/chrome-webidl/MediaController.webidl b/dom/chrome-webidl/MediaController.webidl
index 20f416d1c3b41798e0f90bbac5db40ed2a4ab000..1c5d893f9166a3aa7bc7802bb0d1207d169033ee 100644
--- a/dom/chrome-webidl/MediaController.webidl
+++ b/dom/chrome-webidl/MediaController.webidl
@@ -20,6 +20,12 @@ enum MediaControlKey {
"stop",
};
+dictionary MediaControllerPositionState {
+ required double duration;
+ required double playbackRate;
+ required double position;
+};
+
/**
* MediaController is used to control media playback for a tab, and each tab
* would only have one media controller, which can be accessed from the
@@ -32,10 +38,14 @@ interface MediaController : EventTarget {
readonly attribute boolean isAudible;
readonly attribute boolean isPlaying;
readonly attribute MediaSessionPlaybackState playbackState;
+ readonly attribute boolean isBeingUsedInPIPModeOrFullscreen;
[Throws]
MediaMetadataInit getMetadata();
+ [Throws]
+ MediaControllerPositionState getPositionState();
+
[Frozen, Cached, Pure]
readonly attribute sequence<MediaControlKey> supportedKeys;