- From: poot <cvsmail@w3.org>
- Date: Thu, 2 Apr 2009 13:17:08 +0900 (JST)
- To: public-html-diffs@w3.org
Add a note about the head element pointer not being null in the 'after
head' mode. (credit: hs) (bug 6390) (whatwg r2950)
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6390
8.2.5.9 The "after head" insertion mode
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2113.html#the-after-head-insertion-mode
http://people.w3.org/mike/diffs/html5/spec/Overview.diff.html
http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.2112&r2=1.2113&f=h
http://html5.org/tools/web-apps-tracker?from=2949&to=2950
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.2112
retrieving revision 1.2113
diff -u -d -r1.2112 -r1.2113
--- Overview.html 1 Apr 2009 01:21:44 -0000 1.2112
+++ Overview.html 1 Apr 2009 01:39:51 -0000 1.2113
@@ -48995,6 +48995,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>
Received on Thursday, 2 April 2009 04:17:45 UTC