Add dummy dart:html library for documentation.

lib/html/doc/interface/MediaElement.dartdoc

+// 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();
+}