Add dummy dart:html library for documentation.

lib/html/doc/interface/MediaController.dart

Index: lib/html/doc/interface/MediaController.dart
diff --git a/lib/html/doc/interface/MediaController.dart b/lib/html/doc/interface/MediaController.dart
new file mode 100644
index 0000000000000000000000000000000000000000..69f024e8e16acc41483466d320e8b878e3d26fd2
--- /dev/null
+++ b/lib/html/doc/interface/MediaController.dart
@@ -0,0 +1,56 @@
+// 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: Do not edit - generated code.
+
+/// @domName MediaController
+interface MediaController extends EventTarget default _MediaControllerFactoryProvider {
+
+  MediaController();
+
+  /** @domName MediaController.buffered */
+  final TimeRanges buffered;
+
+  /** @domName MediaController.currentTime */
+  num currentTime;
+
+  /** @domName MediaController.defaultPlaybackRate */
+  num defaultPlaybackRate;
+
+  /** @domName MediaController.duration */
+  final num duration;
+
+  /** @domName MediaController.muted */
+  bool muted;
+
+  /** @domName MediaController.paused */
+  final bool paused;
+
+  /** @domName MediaController.playbackRate */
+  num playbackRate;
+
+  /** @domName MediaController.played */
+  final TimeRanges played;
+
+  /** @domName MediaController.seekable */
+  final TimeRanges seekable;
+
+  /** @domName MediaController.volume */
+  num volume;
+
+  /** @domName MediaController.addEventListener */
+  void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);
+
+  /** @domName MediaController.dispatchEvent */
+  bool $dom_dispatchEvent(Event evt);
+
+  /** @domName MediaController.pause */
+  void pause();
+
+  /** @domName MediaController.play */
+  void play();
+
+  /** @domName MediaController.removeEventListener */
+  void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);
+}