[html5] r4024 - [e] (0) Define isindex as not defined. Fixing http://www.w3.org/Bugs/Public/show [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2009-09-28 18:56:05 -0700 (Mon, 28 Sep 2009)
New Revision: 4024

Modified:
   index
   source
Log:
[e] (0) Define isindex as not defined.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=7640

Modified: index
===================================================================
--- index	2009-09-29 01:52:22 UTC (rev 4023)
+++ index	2009-09-29 01:56:05 UTC (rev 4024)
@@ -74858,6 +74858,12 @@
   attribute of the <code><a href=#the-input-element>input</a></code> element must
   <a href=#reflect>reflect</a> the element's <code title=attr-input-usemap><a href=#attr-input-usemap>usemap</a></code> content attribute.</p>
 
+  <hr><p>The <code><a href=#isindex-0>isindex</a></code> element must use the
+  <code><a href=#htmlunknownelement>HTMLUnknownElement</a></code> interface.</p> <!-- has to be
+  explicitly listed because technically we define the element in the
+  spec, albeit as obsolete, and then we say that only elements not
+  defined in this spec use HTMLUnknownElement. -->
+
   <hr><pre class=idl>[Supplemental]
 interface <a href=#htmllegendelement>HTMLLegendElement</a> {
            attribute DOMString <a href=#dom-legend-align title=dom-legend-align>align</a>;

Modified: source
===================================================================
--- source	2009-09-29 01:52:22 UTC (rev 4023)
+++ source	2009-09-29 01:56:05 UTC (rev 4024)
@@ -88856,6 +88856,14 @@
 
   <hr>
 
+  <p>The <code>isindex</code> element must use the
+  <code>HTMLUnknownElement</code> interface.</p> <!-- has to be
+  explicitly listed because technically we define the element in the
+  spec, albeit as obsolete, and then we say that only elements not
+  defined in this spec use HTMLUnknownElement. -->
+
+  <hr>
+
   <pre class="idl">[Supplemental]
 interface <span>HTMLLegendElement</span> {
            attribute DOMString <span title="dom-legend-align">align</span>;