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

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

From: <bugzilla@wiggum.w3.org>
Date: Fri, 18 Sep 2009 21:01:36 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1MokaG-0007Wb-UJ@wiggum.w3.org>

--- Comment #4 from Julian Reschke <julian.reschke@gmx.de>  2009-09-18 21:01:36 ---
(In reply to comment #3)
> It was closed because the spec section you cite now process profile as multiple
> space-separated URLs as you requested:
> "When the attribute's value would be handled as a URL and dereferenced, the
> user agent must use the following steps:
> Split on spaces the the value of the profile attribute.
> Resolve each resulting token relative to the meta element.
> For each token that is successfully resolved, fetch the resulting absolute URL
> and apply the appropriate processing."

The spec still says "...When the attribute would be used as a globally unique
name..." and "When the attribute's value would be handled as a URL...".

Why not simply state that it's a set of whitespace separated tokens/URLs?

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 Friday, 18 September 2009 21:01:46 UTC

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