W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > September 2009

[Bug 7484] New: head/@profile holds a white-space separated list of URIs

From: <bugzilla@wiggum.w3.org>
Date: Thu, 03 Sep 2009 07:56:40 +0000
To: public-html-bugzilla@w3.org
Message-ID: <bug-7484-2486@http.www.w3.org/Bugs/Public/>

           Summary: head/@profile holds a white-space separated list of URIs
           Product: HTML WG
           Version: unspecified
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: HTML5 spec bugs
        AssignedTo: dave.null@w3.org
        ReportedBy: julian.reschke@gmx.de
         QAContact: public-html-bugzilla@w3.org
                CC: ian@hixie.ch, mike@w3.org, public-html@w3.org

as of 2009-09-03:

interface HTMLHeadElement {
           attribute DOMString profile;

User agents should ignore the profile content attribute on head elements.

When the attribute would be used as a globally unique name, the user agent
should instead always assume that all known profiles apply to all pages, and
should therefore apply the conventions of all known metadata profiles to the

When the attribute's value would be handled as a URL and dereferenced, the user
agent may resolve the attribute's value, and if that is successful, may then
fetch the resulting absolute URL and apply the appropriate processing.

The profile IDL attribute of the head element must reflect the content
attribute of the same name."

This makes it sound as if the attribute value is a single URI; that is not the
case. The related text in HTML 4.01 is inconsistent, and this has been a known
bug for eternity. The HTML WG should fix this misunderstanding.

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 Thursday, 3 September 2009 07:56:51 UTC

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