- From: <bugzilla@jessica.w3.org>
- Date: Thu, 30 Sep 2010 18:43:16 +0000
- To: public-html@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=10887 Summary: "garbage characters" in non-negative integers should be clarified Product: HTML WG Version: unspecified Platform: All URL: http://dev.w3.org/html5/spec/common-microsyntaxes.html #non-negative-integers OS/Version: All Status: NEW Severity: normal Priority: P3 Component: HTML5 spec (editor: Ian Hickson) AssignedTo: ian@hixie.ch ReportedBy: adrianba@microsoft.com QAContact: public-html-bugzilla@w3.org CC: mike@w3.org, public-html-wg-issue-tracking@w3.org, public-html@w3.org The spec says "Leading spaces are ignored. Trailing spaces and any trailing garbage characters are ignored." This should be changed to "Leading spaces are ignored. Trailing characters after any non-digit character outside the valid range are ignored." This means that "10abc1" will be treated as "10" not as "101", for example. -- Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
Received on Thursday, 30 September 2010 18:43:18 UTC