Add dummy dart:html library for documentation.

lib/html/doc/interface/InputElement.dartdoc

Index: lib/html/doc/interface/InputElement.dartdoc
diff --git a/lib/html/doc/interface/InputElement.dartdoc b/lib/html/doc/interface/InputElement.dartdoc
new file mode 100644
index 0000000000000000000000000000000000000000..701efba90ef3506e16ea796c8a98eb5670c03b47
--- /dev/null
+++ b/lib/html/doc/interface/InputElement.dartdoc
@@ -0,0 +1,182 @@
+// 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 HTMLInputElement
+interface InputElement extends Element default _Elements {
+
+  InputElement([String type]);
+
+  /**
+   * @domName EventTarget.addEventListener, EventTarget.removeEventListener, EventTarget.dispatchEvent
+   */
+  InputElementEvents get on();
+
+  /** @domName HTMLInputElement.accept */
+  String accept;
+
+  /** @domName HTMLInputElement.align */
+  String align;
+
+  /** @domName HTMLInputElement.alt */
+  String alt;
+
+  /** @domName HTMLInputElement.autocomplete */
+  String autocomplete;
+
+  /** @domName HTMLInputElement.autofocus */
+  bool autofocus;
+
+  /** @domName HTMLInputElement.checked */
+  bool checked;
+
+  /** @domName HTMLInputElement.defaultChecked */
+  bool defaultChecked;
+
+  /** @domName HTMLInputElement.defaultValue */
+  String defaultValue;
+
+  /** @domName HTMLInputElement.disabled */
+  bool disabled;
+
+  /** @domName HTMLInputElement.files */
+  FileList files;
+
+  /** @domName HTMLInputElement.form */
+  final FormElement form;
+
+  /** @domName HTMLInputElement.formAction */
+  String formAction;
+
+  /** @domName HTMLInputElement.formEnctype */
+  String formEnctype;
+
+  /** @domName HTMLInputElement.formMethod */
+  String formMethod;
+
+  /** @domName HTMLInputElement.formNoValidate */
+  bool formNoValidate;
+
+  /** @domName HTMLInputElement.formTarget */
+  String formTarget;
+
+  /** @domName HTMLInputElement.height */
+  int height;
+
+  /** @domName HTMLInputElement.incremental */
+  bool incremental;
+
+  /** @domName HTMLInputElement.indeterminate */
+  bool indeterminate;
+
+  /** @domName HTMLInputElement.labels */
+  final NodeList labels;
+
+  /** @domName HTMLInputElement.max */
+  String max;
+
+  /** @domName HTMLInputElement.maxLength */
+  int maxLength;
+
+  /** @domName HTMLInputElement.min */
+  String min;
+
+  /** @domName HTMLInputElement.multiple */
+  bool multiple;
+
+  /** @domName HTMLInputElement.name */
+  String name;
+
+  /** @domName HTMLInputElement.pattern */
+  String pattern;
+
+  /** @domName HTMLInputElement.placeholder */
+  String placeholder;
+
+  /** @domName HTMLInputElement.readOnly */
+  bool readOnly;
+
+  /** @domName HTMLInputElement.required */
+  bool required;
+
+  /** @domName HTMLInputElement.selectionDirection */
+  String selectionDirection;
+
+  /** @domName HTMLInputElement.selectionEnd */
+  int selectionEnd;
+
+  /** @domName HTMLInputElement.selectionStart */
+  int selectionStart;
+
+  /** @domName HTMLInputElement.size */
+  int size;
+
+  /** @domName HTMLInputElement.src */
+  String src;
+
+  /** @domName HTMLInputElement.step */
+  String step;
+
+  /** @domName HTMLInputElement.type */
+  String type;
+
+  /** @domName HTMLInputElement.useMap */
+  String useMap;
+
+  /** @domName HTMLInputElement.validationMessage */
+  final String validationMessage;
+
+  /** @domName HTMLInputElement.validity */
+  final ValidityState validity;
+
+  /** @domName HTMLInputElement.value */
+  String value;
+
+  /** @domName HTMLInputElement.valueAsDate */
+  Date valueAsDate;
+
+  /** @domName HTMLInputElement.valueAsNumber */
+  num valueAsNumber;
+
+  /** @domName HTMLInputElement.webkitGrammar */
+  bool webkitGrammar;
+
+  /** @domName HTMLInputElement.webkitSpeech */
+  bool webkitSpeech;
+
+  /** @domName HTMLInputElement.webkitdirectory */
+  bool webkitdirectory;
+
+  /** @domName HTMLInputElement.width */
+  int width;
+
+  /** @domName HTMLInputElement.willValidate */
+  final bool willValidate;
+
+  /** @domName HTMLInputElement.checkValidity */
+  bool checkValidity();
+
+  /** @domName HTMLInputElement.select */
+  void select();
+
+  /** @domName HTMLInputElement.setCustomValidity */
+  void setCustomValidity(String error);
+
+  /** @domName HTMLInputElement.setSelectionRange */
+  void setSelectionRange(int start, int end, [String direction]);
+
+  /** @domName HTMLInputElement.stepDown */
+  void stepDown([int n]);
+
+  /** @domName HTMLInputElement.stepUp */
+  void stepUp([int n]);
+}
+
+interface InputElementEvents extends ElementEvents {
+
+  EventListenerList get speechChange();
+}