3 files changed, 51 insertions, 2 deletions
diff --git a/src/components/script/dom/bindings/codegen/Bindings.conf b/src/components/script/dom/bindings/codegen/Bindings.conf
index d81bb05db17..d1bd1e1cff4 100644
--- a/src/components/script/dom/bindings/codegen/Bindings.conf
+++ b/src/components/script/dom/bindings/codegen/Bindings.conf
@@ -570,7 +570,7 @@ addHTMLElement('HTMLElement')
 addHTMLElement('HTMLEmbedElement')
 addHTMLElement('HTMLFieldSetElement')
 addHTMLElement('HTMLFontElement')
-#addHTMLElement('HTMLFormElement')
+addHTMLElement('HTMLFormElement')
 addHTMLElement('HTMLFrameElement')
 addHTMLElement('HTMLFrameSetElement')
 addHTMLElement('HTMLHeadElement')
diff --git a/src/components/script/dom/bindings/codegen/HTMLButtonElement.webidl b/src/components/script/dom/bindings/codegen/HTMLButtonElement.webidl
index 2160e7595be..0ca51a1e618 100644
--- a/src/components/script/dom/bindings/codegen/HTMLButtonElement.webidl
+++ b/src/components/script/dom/bindings/codegen/HTMLButtonElement.webidl
@@ -10,7 +10,8 @@
  * and create derivative works of this document.
  */
 
-interface HTMLFormElement;
+// FIXME: servo#707
+//interface HTMLFormElement;
 
 // http://www.whatwg.org/specs/web-apps/current-work/#the-button-element
 interface HTMLButtonElement : HTMLElement {
diff --git a/src/components/script/dom/bindings/codegen/HTMLFormElement.webidl b/src/components/script/dom/bindings/codegen/HTMLFormElement.webidl
new file mode 100644
index 00000000000..38c8bf4c36e
--- /dev/null
+++ b/src/components/script/dom/bindings/codegen/HTMLFormElement.webidl
@@ -0,0 +1,48 @@
+/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this file,
+ * You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * The origin of this IDL file is
+ * http://www.whatwg.org/specs/web-apps/current-work/#htmlformelement
+ *
+ * ⓒ Copyright 2004-2011 Apple Computer, Inc., Mozilla Foundation, and
+ * Opera Software ASA. You are granted a license to use, reproduce
+ * and create derivative works of this document.
+ */
+
+[OverrideBuiltins]
+interface HTMLFormElement : HTMLElement {
+           [Pure, SetterThrows]
+           attribute DOMString acceptCharset;
+           [Pure, SetterThrows]
+           attribute DOMString action;
+           [Pure, SetterThrows]
+           attribute DOMString autocomplete;
+           [Pure, SetterThrows]
+           attribute DOMString enctype;
+           [Pure, SetterThrows]
+           attribute DOMString encoding;
+           [Pure, SetterThrows]
+           attribute DOMString method;
+           [Pure, SetterThrows]
+           attribute DOMString name;
+           [Pure, SetterThrows]
+           attribute boolean noValidate;
+           [Pure, SetterThrows]
+           attribute DOMString target;
+
+  [Constant]
+  readonly attribute HTMLCollection elements;
+  [Pure]
+  readonly attribute long length;
+
+  getter Element (unsigned long index);
+  // TODO this should be: getter (RadioNodeList or HTMLInputElement or HTMLImageElement) (DOMString name);
+//  getter nsISupports (DOMString name);
+
+  [Throws]
+  void submit();
+  void reset();
+  boolean checkValidity();
+};