[html5] r3896 - [cgt] (2) Ignore (most) end tags before the <html> tag.

Fri Sep 18 01:42:14 PDT 2009

Author: ianh
Date: 2009-09-18 01:42:13 -0700 (Fri, 18 Sep 2009)
New Revision: 3896

Modified:
   index
   source
Log:
[cgt] (2) Ignore (most) end tags before the <html> tag.

Modified: index
===================================================================

--- index	2009-09-18 08:30:37 UTC (rev 3895)
+++ index	2009-09-18 08:42:13 UTC (rev 3896)
@@ -64729,6 +64729,16 @@
 
    </dd>
 
+   <dt>An end tag whose tag name is one of: "head", "body", "html", "br"</dt>
+   <dd>
+    <p>Act as described in the "anything else" entry below.</p>
+   </dd>
+
+   <dt>Any other end tag</dt>
+   <dd>
+    <p><a href=#parse-error>Parse error</a>. Ignore the token.</p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
 
@@ -64744,10 +64754,6 @@
     <p>Switch the <a href=#insertion-mode>insertion mode</a> to "<a href=#the-before-head-insertion-mode title="insertion mode: before head">before head</a>", then
     reprocess the current token.</p>
 
-    <p class=XXX>Should probably make end tags be ignored, so
-    that "</head><!-- --><html>" puts the comment before the
-    root node (or should we?)</p>
-
    </dd>
 
   </dl><p>The root element can end up being removed from the

Modified: source
===================================================================
--- source	2009-09-18 08:30:37 UTC (rev 3895)
+++ source	2009-09-18 08:42:13 UTC (rev 3896)
@@ -79754,6 +79754,16 @@
 
    </dd>
 
+   <dt>An end tag whose tag name is one of: "head", "body", "html", "br"</dt>
+   <dd>
+    <p>Act as described in the "anything else" entry below.</p>
+   </dd>
+
+   <dt>Any other end tag</dt>
+   <dd>
+    <p><span>Parse error</span>. Ignore the token.</p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
 
@@ -79772,10 +79782,6 @@
     title="insertion mode: before head">before head</span>", then
     reprocess the current token.</p>
 
-    <p class="XXX">Should probably make end tags be ignored, so
-    that "</head><!-- --><html>" puts the comment before the
-    root node (or should we?)</p>
-
    </dd>
 
   </dl>


