[html5] r4528 - [cgiowt] (2) let in-body handle </form> in table, since that works correctly. Fi [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2010-01-06 04:13:49 -0800 (Wed, 06 Jan 2010)
New Revision: 4528

Modified:
   complete.html
   index
   source
Log:
[cgiowt] (2) let in-body handle </form> in table, since that works correctly.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=8373

Modified: complete.html
===================================================================
--- complete.html	2010-01-06 12:11:40 UTC (rev 4527)
+++ complete.html	2010-01-06 12:13:49 UTC (rev 4528)
@@ -74974,16 +74974,8 @@
 
    </dd>
 
-   <dt>An end tag whose tag name is "form"</dt>
-   <dd>
+   <!-- "form" end tag falls through to in-body, which does the right thing -->
 
-    <p><a href=#parse-error>Parse error</a>.</p>
-
-    <p>Set the <a href=#form-element-pointer><code title="">form</code> element pointer</a>
-    to null.</p>
-
-   </dd>
-
    <dt>An end-of-file token</dt>
    <dd>
 

Modified: index
===================================================================
--- index	2010-01-06 12:11:40 UTC (rev 4527)
+++ index	2010-01-06 12:13:49 UTC (rev 4528)
@@ -66601,16 +66601,8 @@
 
    </dd>
 
-   <dt>An end tag whose tag name is "form"</dt>
-   <dd>
+   <!-- "form" end tag falls through to in-body, which does the right thing -->
 
-    <p><a href=#parse-error>Parse error</a>.</p>
-
-    <p>Set the <a href=#form-element-pointer><code title="">form</code> element pointer</a>
-    to null.</p>
-
-   </dd>
-
    <dt>An end-of-file token</dt>
    <dd>
 

Modified: source
===================================================================
--- source	2010-01-06 12:11:40 UTC (rev 4527)
+++ source	2010-01-06 12:13:49 UTC (rev 4528)
@@ -85482,16 +85482,8 @@
 
    </dd>
 
-   <dt>An end tag whose tag name is "form"</dt>
-   <dd>
+   <!-- "form" end tag falls through to in-body, which does the right thing -->
 
-    <p><span>Parse error</span>.</p>
-
-    <p>Set the <span><code title="">form</code> element pointer</span>
-    to null.</p>
-
-   </dd>
-
    <dt>An end-of-file token</dt>
    <dd>