Henri Sivonen wrote:
On Nov 11, 2008, at 13:27, Tommy Thorsen wrote:
The assertion that the current node is still the head element pointer
does not seem correct, as we push a script element onto the stack of
open elements in the "A start tag whose tag name is 'script'" section
of the "in head" insertion mode.
This is http://www.w3.org/Bugs/Public/show_bug.cgi?id=6038
Ah, thank you. I hadn't really looked at that bugzilla before. I added
my solution as a third possible fix.
I think the first solution in the description of that bug sounds nice,
but I'm not too fond of the second solution. (The one which involves
sometimes popping one extra time.) Just my two cents' worth.