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

git-svn-id: http://svn.whatwg.org/webapps@3896 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Sep 18, 2009 · 89872f9 · 89872f9
1 parent b593c28
commit 89872f9
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 8 deletions.
diff --git a/index b/index
@@ -64729,6 +64729,16 @@ document.body.appendChild(text);
 
    </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 @@ document.body.appendChild(text);
     <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 "&lt;/head&gt;&lt;!-- --&gt;&lt;html&gt;" puts the comment before the
-    root node (or should we?)</p>
-
    </dd>
 
   </dl><p>The root element can end up being removed from the

diff --git a/source b/source
@@ -79754,6 +79754,16 @@ document.body.appendChild(text);
 
    </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 @@ document.body.appendChild(text);
     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 "&lt;/head>&lt;!-- -->&lt;html>" puts the comment before the
-    root node (or should we?)</p>
-
    </dd>
 
   </dl>