[html5] r2950 - [e] (0) Add a note about the head element pointer not being null in the 'after h [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2009-03-31 18:39:46 -0700 (Tue, 31 Mar 2009)
New Revision: 2950

Modified:
   index
   source
Log:
[e] (0) Add a note about the head element pointer not being null in the 'after head' mode. (credit: hs) (bug 6390)

Modified: index
===================================================================
--- index	2009-04-01 01:21:39 UTC (rev 2949)
+++ index	2009-04-01 01:39:46 UTC (rev 2950)
@@ -54574,6 +54574,9 @@
     <p>Remove the node pointed to by the <a href=#head-element-pointer><code title="">head</code> element pointer</a> from the <a href=#stack-of-open-elements>stack
     of open elements</a>.</p>
 
+    <p class=note>The <a href=#head-element-pointer><code title="">head</code> element
+    pointer</a> cannot be null at this point.</p>
+
    </dd>
 
    <dt>An end tag whose tag name is one of: "body", "html", "br"</dt>

Modified: source
===================================================================
--- source	2009-04-01 01:21:39 UTC (rev 2949)
+++ source	2009-04-01 01:39:46 UTC (rev 2950)
@@ -66782,6 +66782,9 @@
     title="">head</code> element pointer</span> from the <span>stack
     of open elements</span>.</p>
 
+    <p class="note">The <span><code title="">head</code> element
+    pointer</span> cannot be null at this point.</p>
+
    </dd>
 
    <dt>An end tag whose tag name is one of: "body", "html", "br"</dt>