W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > June 2008

[Bug 5798] New: Deferring end tag eating to after head gives weird errors

From: <bugzilla@wiggum.w3.org>
Date: Tue, 24 Jun 2008 20:01:57 +0000
To: public-html-bugzilla@w3.org
Message-ID: <bug-5798-2486@http.www.w3.org/Bugs/Public/>


           Summary: Deferring end tag eating to after head gives weird
           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 the QA contact for the bug.
Received on Tuesday, 24 June 2008 20:02:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:00:44 UTC