@profile issue in HTML 4.01 (see also ISSUE-55), was: {agenda} HTML WG telcon 2009-04-23

>    JR: I was looking at the @profile issue.
>    ... If nothing is done will it be gone from HTML5?
> 
>    SR: Yes.
> 
>    JR: What will be needed for this not to happen?
>    ... [something about a bug]
>    ... I'd be in favor of an erratum for HTML4 and a similar fix for
>    HTML5
> ...

Clarifying: I was referring to HTML 4.01 defining @profile as "URI" 
(<http://www.w3.org/TR/html4/struct/global.html#edef-HEAD>), and stating 
"For future extensions, user agents should consider the value to be a 
list even though this specification only considers the first URI to be 
significant."

Apparently this has caused a (IMHO) bug in HTML Tidy, which complains 
about multiple URIs in the attribute 
(<http://sourceforge.net/tracker/index.php?func=detail&aid=1264455&group_id=27659&atid=390963>).

BR, Julian

Received on Friday, 24 April 2009 11:33:24 UTC