Remove explicit interface versions of dartdoc files.

lib/html/doc/interface/Document.dartdoc

Index: lib/html/doc/interface/Document.dartdoc
diff --git a/lib/html/doc/interface/Document.dartdoc b/lib/html/doc/interface/Document.dartdoc
deleted file mode 100644
index cf8d43db5140bf5cbbdf3fa411b0d75d6d758d15..0000000000000000000000000000000000000000
--- a/lib/html/doc/interface/Document.dartdoc
+++ /dev/null
@@ -1,255 +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.
-
-/// @domName Document
-interface Document extends HtmlElement {
-
-
-  /**
-   * @domName EventTarget.addEventListener, EventTarget.removeEventListener, EventTarget.dispatchEvent
-   */
-  DocumentEvents get on();
-
-  /** @domName HTMLDocument.activeElement */
-  final Element activeElement;
-
-  /** @domName Document.body */
-  Element body;
-
-  /** @domName Document.charset */
-  String charset;
-
-  /** @domName Document.cookie */
-  String cookie;
-
-  /** @domName Document.defaultView */
-  final Window window;
-
-  /** @domName Document.documentElement */
-  final Element documentElement;
-
-  /** @domName Document.domain */
-  final String domain;
-
-  /** @domName Document.head */
-  final HeadElement head;
-
-  /** @domName Document.lastModified */
-  final String lastModified;
-
-  /** @domName Document.preferredStylesheetSet */
-  final String preferredStylesheetSet;
-
-  /** @domName Document.readyState */
-  final String readyState;
-
-  /** @domName Document.referrer */
-  final String referrer;
-
-  /** @domName Document.selectedStylesheetSet */
-  String selectedStylesheetSet;
-
-  /** @domName Document.styleSheets */
-  final StyleSheetList styleSheets;
-
-  /** @domName Document.title */
-  String title;
-
-  /** @domName Document.webkitCurrentFullScreenElement */
-  final Element webkitCurrentFullScreenElement;
-
-  /** @domName Document.webkitFullScreenKeyboardInputAllowed */
-  final bool webkitFullScreenKeyboardInputAllowed;
-
-  /** @domName Document.webkitFullscreenElement */
-  final Element webkitFullscreenElement;
-
-  /** @domName Document.webkitFullscreenEnabled */
-  final bool webkitFullscreenEnabled;
-
-  /** @domName Document.webkitHidden */
-  final bool webkitHidden;
-
-  /** @domName Document.webkitIsFullScreen */
-  final bool webkitIsFullScreen;
-
-  /** @domName Document.webkitVisibilityState */
-  final String webkitVisibilityState;
-
-  /** @domName Document.caretRangeFromPoint */
-  Range caretRangeFromPoint(int x, int y);
-
-  /** @domName Document.createCDATASection */
-  CDATASection createCDATASection(String data);
-
-  /** @domName Document.createDocumentFragment */
-  DocumentFragment createDocumentFragment();
-
-  /** @domName Document.createElement */
-  Element $dom_createElement(String tagName);
-
-  /** @domName Document.createElementNS */
-  Element $dom_createElementNS(String namespaceURI, String qualifiedName);
-
-  /** @domName Document.createEvent */
-  Event $dom_createEvent(String eventType);
-
-  /** @domName Document.createRange */
-  Range createRange();
-
-  /** @domName Document.createTextNode */
-  Text $dom_createTextNode(String data);
-
-  /** @domName Document.createTouch */
-  Touch createTouch(Window window, EventTarget target, int identifier, int pageX, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num webkitRotationAngle, num webkitForce);
-
-  /** @domName Document.createTouchList */
-  TouchList $dom_createTouchList();
-
-  /** @domName Document.elementFromPoint */
-  Element elementFromPoint(int x, int y);
-
-  /** @domName Document.execCommand */
-  bool execCommand(String command, bool userInterface, String value);
-
-  /** @domName Document.getCSSCanvasContext */
-  CanvasRenderingContext getCSSCanvasContext(String contextId, String name, int width, int height);
-
-  /** @domName Document.getElementById */
-  Element $dom_getElementById(String elementId);
-
-  /** @domName Document.getElementsByClassName */
-  NodeList $dom_getElementsByClassName(String tagname);
-
-  /** @domName Document.getElementsByName */
-  NodeList $dom_getElementsByName(String elementName);
-
-  /** @domName Document.getElementsByTagName */
-  NodeList $dom_getElementsByTagName(String tagname);
-
-  /** @domName Document.queryCommandEnabled */
-  bool queryCommandEnabled(String command);
-
-  /** @domName Document.queryCommandIndeterm */
-  bool queryCommandIndeterm(String command);
-
-  /** @domName Document.queryCommandState */
-  bool queryCommandState(String command);
-
-  /** @domName Document.queryCommandSupported */
-  bool queryCommandSupported(String command);
-
-  /** @domName Document.queryCommandValue */
-  String queryCommandValue(String command);
-
-  /** @domName Document.querySelector */
-  Element $dom_querySelector(String selectors);
-
-  /** @domName Document.querySelectorAll */
-  NodeList $dom_querySelectorAll(String selectors);
-
-  /** @domName Document.webkitCancelFullScreen */
-  void webkitCancelFullScreen();
-
-  /** @domName Document.webkitExitFullscreen */
-  void webkitExitFullscreen();
-
-}
-
-interface DocumentEvents extends ElementEvents {
-
-  EventListenerList get abort();
-
-  EventListenerList get beforeCopy();
-
-  EventListenerList get beforeCut();
-
-  EventListenerList get beforePaste();
-
-  EventListenerList get blur();
-
-  EventListenerList get change();
-
-  EventListenerList get click();
-
-  EventListenerList get contextMenu();
-
-  EventListenerList get copy();
-
-  EventListenerList get cut();
-
-  EventListenerList get doubleClick();
-
-  EventListenerList get drag();
-
-  EventListenerList get dragEnd();
-
-  EventListenerList get dragEnter();
-
-  EventListenerList get dragLeave();
-
-  EventListenerList get dragOver();
-
-  EventListenerList get dragStart();
-
-  EventListenerList get drop();
-
-  EventListenerList get error();
-
-  EventListenerList get focus();
-
-  EventListenerList get fullscreenChange();
-
-  EventListenerList get fullscreenError();
-
-  EventListenerList get input();
-
-  EventListenerList get invalid();
-
-  EventListenerList get keyDown();
-
-  EventListenerList get keyPress();
-
-  EventListenerList get keyUp();
-
-  EventListenerList get load();
-
-  EventListenerList get mouseDown();
-
-  EventListenerList get mouseMove();
-
-  EventListenerList get mouseOut();
-
-  EventListenerList get mouseOver();
-
-  EventListenerList get mouseUp();
-
-  EventListenerList get mouseWheel();
-
-  EventListenerList get paste();
-
-  EventListenerList get readyStateChange();
-
-  EventListenerList get reset();
-
-  EventListenerList get scroll();
-
-  EventListenerList get search();
-
-  EventListenerList get select();
-
-  EventListenerList get selectStart();
-
-  EventListenerList get selectionChange();
-
-  EventListenerList get submit();
-
-  EventListenerList get touchCancel();
-
-  EventListenerList get touchEnd();
-
-  EventListenerList get touchMove();
-
-  EventListenerList get touchStart();
-}