Add dummy dart:html library for documentation.

lib/html/doc/interface/TableElement.dartdoc

Index: lib/html/doc/interface/TableElement.dartdoc
diff --git a/lib/html/doc/interface/TableElement.dartdoc b/lib/html/doc/interface/TableElement.dartdoc
new file mode 100644
index 0000000000000000000000000000000000000000..410e10abdd53c518994b6b53b3ce020b357aad56
--- /dev/null
+++ b/lib/html/doc/interface/TableElement.dartdoc
@@ -0,0 +1,82 @@
+// 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);
+}