1 files changed, 0 insertions, 121 deletions

diff --git a/src/components/script/dom/webidls/HTMLMediaElement.webidl b/src/components/script/dom/webidls/HTMLMediaElement.webidl
index 25f03e5111d..a835d302600 100644
--- a/src/components/script/dom/webidls/HTMLMediaElement.webidl
+++ b/src/components/script/dom/webidls/HTMLMediaElement.webidl
@@ -12,10 +12,6 @@
  */
 
 interface HTMLMediaElement : HTMLElement {
-/*
-  // error state
-  readonly attribute MediaError? error;
-*/
   // network state
   [SetterThrows]
            attribute DOMString src;
@@ -27,16 +23,8 @@ interface HTMLMediaElement : HTMLElement {
   const unsigned short NETWORK_IDLE = 1;
   const unsigned short NETWORK_LOADING = 2;
   const unsigned short NETWORK_NO_SOURCE = 3;
-/*
-  TODO:
-  readonly attribute unsigned short networkState;
-*/
   [SetterThrows]
            attribute DOMString preload;
-/*
-  [Creator]
-  readonly attribute TimeRanges buffered;
-*/
   void load();
   DOMString canPlayType(DOMString type);
 
@@ -52,23 +40,11 @@ interface HTMLMediaElement : HTMLElement {
   // playback state
   [SetterThrows]
            attribute double currentTime;
-  // TODO: Bug 847375 - void fastSeek(double time);
-/*
-  TODO:
-  readonly attribute unrestricted double duration;
-*/
-  // TODO: Bug 847376 - readonly attribute any startDate;
   readonly attribute boolean paused;
   [SetterThrows]
            attribute double defaultPlaybackRate;
   [SetterThrows]
            attribute double playbackRate;
-/*
-  [Creator]
-  readonly attribute TimeRanges played;
-  [Creator]
-  readonly attribute TimeRanges seekable;
-*/
   readonly attribute boolean ended;
   [SetterThrows]
            attribute boolean autoplay;
@@ -79,11 +55,6 @@ interface HTMLMediaElement : HTMLElement {
   [Throws]
   void pause();
 
-  // TODO: Bug 847377 - mediaGroup and MediaController
-  // media controller
-  //         attribute DOMString mediaGroup;
-  //         attribute MediaController? controller;
-
   // controls
   [SetterThrows]
            attribute boolean controls;
@@ -93,96 +64,4 @@ interface HTMLMediaElement : HTMLElement {
   [SetterThrows]
            attribute boolean defaultMuted;
 
-  // TODO: Bug 847379
-  // tracks
-  //readonly attribute AudioTrackList audioTracks;
-  //readonly attribute VideoTrackList videoTracks;
-/*
-  [Pref="media.webvtt.enabled"]
-  readonly attribute TextTrackList textTracks;
-  [Pref="media.webvtt.enabled"]
-  TextTrack addTextTrack(TextTrackKind kind,
-                         optional DOMString label = "",
-                         optional DOMString language = "");
-*/
-};
-
-/*
-// Mozilla extensions:
-partial interface HTMLMediaElement {
-  attribute MediaStream? mozSrcObject;
-  attribute boolean mozPreservesPitch;
-  readonly attribute boolean mozAutoplayEnabled;
-
-  // Mozilla extension: stream capture
-  [Throws]
-  MediaStream mozCaptureStream();
-  [Throws]
-  MediaStream mozCaptureStreamUntilEnded();
-  readonly attribute boolean mozAudioCaptured;
-
-  // Mozilla extension: extra stream metadata information, used as part
-  // of MozAudioAvailable events and the mozWriteAudio() method.  The
-  // mozFrameBufferLength method allows for the size of the framebuffer
-  // used within MozAudioAvailable events to be changed.  The new size must
-  // be between 512 and 16384.  The default size, for a  media element with
-  // audio is (mozChannels * 1024).
-  [GetterThrows]
-  readonly attribute unsigned long mozChannels;
-  [GetterThrows]
-  readonly attribute unsigned long mozSampleRate;
-  [Throws]
-           attribute unsigned long mozFrameBufferLength;
-
-  // Mozilla extension: return embedded metadata from the stream as a
-  // JSObject with key:value pairs for each tag. This can be used by
-  // player interfaces to display the song title, artist, etc.
-  [Throws]
-  object? mozGetMetadata();
-
-  // Mozilla extension: provides access to the fragment end time if
-  // the media element has a fragment URI for the currentSrc, otherwise
-  // it is equal to the media duration.
-  readonly attribute double mozFragmentEnd;
-
-  // Mozilla extension: an audio channel type for media elements.
-  // An exception is thrown if the app tries to change the audio channel type
-  // without the permission (manifest file for B2G apps).
-  // The supported values are:
-  // * normal (default value)
-  //   Automatically paused if "notification" or higher priority channel
-  //   is played
-  //   Use case: normal applications
-  // * content
-  //   Automatically paused if "notification" or higher priority channel
-  //   is played. Also paused if another app starts using "content"
-  //   channel. Using this channel never affects applications using
-  //   the "normal" channel.
-  //   Use case: video/audio players
-  // * notification
-  //   Automatically paused if "alarm" or higher priority channel is played.
-  //   Use case: New email, incoming SMS
-  // * alarm
-  //   Automatically paused if "telephony" or higher priority channel is
-  //   played.
-  //   User case: Alarm clock, calendar alarms
-  // * telephony
-  //   Automatically paused if "ringer" or higher priority
-  //   channel is played.
-  //   Use case: dialer, voip
-  // * ringer
-  //   Automatically paused if "publicnotification" or higher priority
-  //   channel is played.
-  //   Use case: dialer, voip
-  // * publicnotification
-  //   Always plays in speaker, even when headphones are plugged in.
-  //   Use case: Camera shutter sound.
-  [SetterThrows]
-  attribute DOMString mozAudioChannelType;
-
-  // In addition the media element has this new events:
-  // * onmozinterruptbegin - called when the media element is interrupted
-  //   because of the audiochannel manager.
-  // * onmozinterruptend - called when the interruption is concluded
 };
-*/