Remove explicit interface versions of dartdoc files.

lib/html/doc/interface/MediaElement.dartdoc

Index: lib/html/doc/interface/MediaElement.dartdoc
diff --git a/lib/html/doc/interface/MediaElement.dartdoc b/lib/html/doc/interface/MediaElement.dartdoc
deleted file mode 100644
index 1bfe2f5bbd20892e74e51e19e672c455fd2f43a3..0000000000000000000000000000000000000000
--- a/lib/html/doc/interface/MediaElement.dartdoc
+++ /dev/null
@@ -1,207 +0,0 @@
-// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-// WARNING:
-//   This file contains documentation that is merged into the real source.
-//   Do not make code changes here.
-
-/// @domName HTMLMediaElement
-interface MediaElement extends Element {
-
-  /**
-   * @domName EventTarget.addEventListener, EventTarget.removeEventListener, EventTarget.dispatchEvent
-   */
-  MediaElementEvents get on();
-
-  static final int EOS_DECODE_ERR = 2;
-
-  static final int EOS_NETWORK_ERR = 1;
-
-  static final int EOS_NO_ERROR = 0;
-
-  static final int HAVE_CURRENT_DATA = 2;
-
-  static final int HAVE_ENOUGH_DATA = 4;
-
-  static final int HAVE_FUTURE_DATA = 3;
-
-  static final int HAVE_METADATA = 1;
-
-  static final int HAVE_NOTHING = 0;
-
-  static final int NETWORK_EMPTY = 0;
-
-  static final int NETWORK_IDLE = 1;
-
-  static final int NETWORK_LOADING = 2;
-
-  static final int NETWORK_NO_SOURCE = 3;
-
-  static final int SOURCE_CLOSED = 0;
-
-  static final int SOURCE_ENDED = 2;
-
-  static final int SOURCE_OPEN = 1;
-
-  /** @domName HTMLMediaElement.autoplay */
-  bool autoplay;
-
-  /** @domName HTMLMediaElement.buffered */
-  final TimeRanges buffered;
-
-  /** @domName HTMLMediaElement.controller */
-  MediaController controller;
-
-  /** @domName HTMLMediaElement.controls */
-  bool controls;
-
-  /** @domName HTMLMediaElement.currentSrc */
-  final String currentSrc;
-
-  /** @domName HTMLMediaElement.currentTime */
-  num currentTime;
-
-  /** @domName HTMLMediaElement.defaultMuted */
-  bool defaultMuted;
-
-  /** @domName HTMLMediaElement.defaultPlaybackRate */
-  num defaultPlaybackRate;
-
-  /** @domName HTMLMediaElement.duration */
-  final num duration;
-
-  /** @domName HTMLMediaElement.ended */
-  final bool ended;
-
-  /** @domName HTMLMediaElement.error */
-  final MediaError error;
-
-  /** @domName HTMLMediaElement.initialTime */
-  final num initialTime;
-
-  /** @domName HTMLMediaElement.loop */
-  bool loop;
-
-  /** @domName HTMLMediaElement.mediaGroup */
-  String mediaGroup;
-
-  /** @domName HTMLMediaElement.muted */
-  bool muted;
-
-  /** @domName HTMLMediaElement.networkState */
-  final int networkState;
-
-  /** @domName HTMLMediaElement.paused */
-  final bool paused;
-
-  /** @domName HTMLMediaElement.playbackRate */
-  num playbackRate;
-
-  /** @domName HTMLMediaElement.played */
-  final TimeRanges played;
-
-  /** @domName HTMLMediaElement.preload */
-  String preload;
-
-  /** @domName HTMLMediaElement.readyState */
-  final int readyState;
-
-  /** @domName HTMLMediaElement.seekable */
-  final TimeRanges seekable;
-
-  /** @domName HTMLMediaElement.seeking */
-  final bool seeking;
-
-  /** @domName HTMLMediaElement.src */
-  String src;
-
-  /** @domName HTMLMediaElement.startTime */
-  final num startTime;
-
-  /** @domName HTMLMediaElement.textTracks */
-  final TextTrackList textTracks;
-
-  /** @domName HTMLMediaElement.volume */
-  num volume;
-
-  /** @domName HTMLMediaElement.webkitAudioDecodedByteCount */
-  final int webkitAudioDecodedByteCount;
-
-  /** @domName HTMLMediaElement.webkitClosedCaptionsVisible */
-  bool webkitClosedCaptionsVisible;
-
-  /** @domName HTMLMediaElement.webkitHasClosedCaptions */
-  final bool webkitHasClosedCaptions;
-
-  /** @domName HTMLMediaElement.webkitMediaSourceURL */
-  final String webkitMediaSourceURL;
-
-  /** @domName HTMLMediaElement.webkitPreservesPitch */
-  bool webkitPreservesPitch;
-
-  /** @domName HTMLMediaElement.webkitSourceState */
-  final int webkitSourceState;
-
-  /** @domName HTMLMediaElement.webkitVideoDecodedByteCount */
-  final int webkitVideoDecodedByteCount;
-
-  /** @domName HTMLMediaElement.addTextTrack */
-  TextTrack addTextTrack(String kind, [String label, String language]);
-
-  /** @domName HTMLMediaElement.canPlayType */
-  String canPlayType(String type, String keySystem);
-
-  /** @domName HTMLMediaElement.load */
-  void load();
-
-  /** @domName HTMLMediaElement.pause */
-  void pause();
-
-  /** @domName HTMLMediaElement.play */
-  void play();
-
-  /** @domName HTMLMediaElement.webkitAddKey */
-  void webkitAddKey(String keySystem, Uint8Array key, [Uint8Array initData, String sessionId]);
-
-  /** @domName HTMLMediaElement.webkitCancelKeyRequest */
-  void webkitCancelKeyRequest(String keySystem, String sessionId);
-
-  /** @domName HTMLMediaElement.webkitGenerateKeyRequest */
-  void webkitGenerateKeyRequest(String keySystem, [Uint8Array initData]);
-
-  /** @domName HTMLMediaElement.webkitSourceAbort */
-  void webkitSourceAbort(String id);
-
-  /** @domName HTMLMediaElement.webkitSourceAddId */
-  void webkitSourceAddId(String id, String type);
-
-  /** @domName HTMLMediaElement.webkitSourceAppend */
-  void webkitSourceAppend(String id, Uint8Array data);
-
-  /** @domName HTMLMediaElement.webkitSourceBuffered */
-  TimeRanges webkitSourceBuffered(String id);
-
-  /** @domName HTMLMediaElement.webkitSourceEndOfStream */
-  void webkitSourceEndOfStream(int status);
-
-  /** @domName HTMLMediaElement.webkitSourceRemoveId */
-  void webkitSourceRemoveId(String id);
-}
-
-interface MediaElementEvents extends ElementEvents {
-
-  EventListenerList get keyAdded();
-
-  EventListenerList get keyError();
-
-  EventListenerList get keyMessage();
-
-  EventListenerList get needKey();
-
-  EventListenerList get sourceClose();
-
-  EventListenerList get sourceEnded();
-
-  EventListenerList get sourceOpen();
-}