Auto merge of #18804 - servo:media, r=emilio

Another couple of low-key media improvements 👶👣

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18804)
<!-- Reviewable:end -->

1 files changed, 16 insertions, 23 deletions

diff --git a/components/script/dom/webidls/HTMLMediaElement.webidl b/components/script/dom/webidls/HTMLMediaElement.webidl
index b9c112bf44d..b67a5e3c1fe 100644
--- a/components/script/dom/webidls/HTMLMediaElement.webidl
+++ b/components/script/dom/webidls/HTMLMediaElement.webidl
@@ -3,25 +3,26 @@
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
 // https://html.spec.whatwg.org/multipage/#htmlmediaelement
+
 enum CanPlayTypeResult { "" /* empty string */, "maybe", "probably" };
+typedef /* (MediaStream or MediaSource or */ Blob /* ) */ MediaProvider;
+
 [Abstract]
 interface HTMLMediaElement : HTMLElement {
   // error state
   readonly attribute MediaError? error;
 
   // network state
-  [CEReactions]
-           attribute DOMString src;
+  [CEReactions] attribute DOMString src;
+  attribute MediaProvider? srcObject;
   readonly attribute DOMString currentSrc;
-  // [CEReactions]
-  //          attribute DOMString crossOrigin;
+  // [CEReactions] attribute DOMString crossOrigin;
   const unsigned short NETWORK_EMPTY = 0;
   const unsigned short NETWORK_IDLE = 1;
   const unsigned short NETWORK_LOADING = 2;
   const unsigned short NETWORK_NO_SOURCE = 3;
   readonly attribute unsigned short networkState;
-  [CEReactions]
-           attribute DOMString preload;
+  [CEReactions] attribute DOMString preload;
   // readonly attribute TimeRanges buffered;
   void load();
   CanPlayTypeResult canPlayType(DOMString type);
@@ -36,34 +37,26 @@ interface HTMLMediaElement : HTMLElement {
   // readonly attribute boolean seeking;
 
   // playback state
-  //          attribute double currentTime;
+  // attribute double currentTime;
   // void fastSeek(double time);
   // readonly attribute unrestricted double duration;
   // Date getStartDate();
   readonly attribute boolean paused;
-  //          attribute double defaultPlaybackRate;
-  //          attribute double playbackRate;
+  // attribute double defaultPlaybackRate;
+  // attribute double playbackRate;
   // readonly attribute TimeRanges played;
   // readonly attribute TimeRanges seekable;
   // readonly attribute boolean ended;
-  [CEReactions]
-           attribute boolean autoplay;
-  // [CEReactions]
-  //          attribute boolean loop;
+  [CEReactions] attribute boolean autoplay;
+  // [CEReactions] attribute boolean loop;
   Promise<void> play();
   void pause();
 
-  // media controller
-  //          attribute DOMString mediaGroup;
-  //          attribute MediaController? controller;
-
   // controls
-  // [CEReactions]
-  //          attribute boolean controls;
-  //          attribute double volume;
-  //          attribute boolean muted;
-  // [CEReactions]
-  //          attribute boolean defaultMuted;
+  // [CEReactions] attribute boolean controls;
+  // attribute double volume;
+  // attribute boolean muted;
+  // [CEReactions] attribute boolean defaultMuted;
 
   // tracks
   // readonly attribute AudioTrackList audioTracks;