Add dummy dart:html library for documentation.

lib/html/doc/interface/TableElement.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 HTMLTableElement
+interface TableElement extends Element default _Elements {
+
+  TableElement();
+
+  /** @domName HTMLTableElement.align */
+  String align;
+
+  /** @domName HTMLTableElement.bgColor */
+  String bgColor;
+
+  /** @domName HTMLTableElement.border */
+  String border;
+
+  /** @domName HTMLTableElement.caption */
+  TableCaptionElement caption;
+
+  /** @domName HTMLTableElement.cellPadding */
+  String cellPadding;
+
+  /** @domName HTMLTableElement.cellSpacing */
+  String cellSpacing;
+
+  /** @domName HTMLTableElement.frame */
+  String frame;
+
+  /** @domName HTMLTableElement.rows */
+  final HTMLCollection rows;
+
+  /** @domName HTMLTableElement.rules */
+  String rules;
+
+  /** @domName HTMLTableElement.summary */
+  String summary;
+
+  /** @domName HTMLTableElement.tBodies */
+  final HTMLCollection tBodies;
+
+  /** @domName HTMLTableElement.tFoot */
+  TableSectionElement tFoot;
+
+  /** @domName HTMLTableElement.tHead */
+  TableSectionElement tHead;
+
+  /** @domName HTMLTableElement.width */
+  String width;
+
+  /** @domName HTMLTableElement.createCaption */
+  Element createCaption();
+
+  /** @domName HTMLTableElement.createTBody */
+  Element createTBody();
+
+  /** @domName HTMLTableElement.createTFoot */
+  Element createTFoot();
+
+  /** @domName HTMLTableElement.createTHead */
+  Element createTHead();
+
+  /** @domName HTMLTableElement.deleteCaption */
+  void deleteCaption();
+
+  /** @domName HTMLTableElement.deleteRow */
+  void deleteRow(int index);
+
+  /** @domName HTMLTableElement.deleteTFoot */
+  void deleteTFoot();
+
+  /** @domName HTMLTableElement.deleteTHead */
+  void deleteTHead();
+
+  /** @domName HTMLTableElement.insertRow */
+  Element insertRow(int index);
+}