- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 24 Jun 2008 20:01:57 +0000
- To: public-html@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5798
Summary: Deferring end tag eating to after head gives weird
errors
Product: HTML WG
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: Spec bugs
AssignedTo: dave.null@w3.org
ReportedBy: hsivonen@iki.fi
QAContact: public-html-bugzilla@w3.org
CC: ian@hixie.ch, mike@w3.org, public-html@w3.org
'After head' is now defined to eat all end tags. If the state is 'in head' and
there's a stray end tag, subsequently things happen in the 'after head' state
which means that stuff that does belong in <head> is in error but ends up in
<head> anyway. Intuitively, the stray end tag is in error, but normal <head>
children after it aren't.
It might be worthwhile to adjust things so that the stuff that usually belongs
in <head> doesn't emit errors if there was an ignored end tag first.
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Tuesday, 24 June 2008 20:02:31 UTC