- From: Julian Reschke <julian.reschke@gmx.de>
- Date: Fri, 24 Apr 2009 13:25:57 +0200
- To: public-html-wg-announce@w3.org
- CC: Sam Ruby <rubys@intertwingly.net>, 'HTML WG' <public-html@w3.org>
> 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