- From: <bugzilla@wiggum.w3.org>
- Date: Sun, 22 Jun 2008 09:06:31 +0000
- To: public-html-bugzilla@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5772
Ian 'Hixie' Hickson <ian@hixie.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |NEEDSINFO
--- Comment #10 from Ian 'Hixie' Hickson <ian@hixie.ch> 2008-06-22 09:06:31 ---
HTML5 doesn't use formal data types. There's no ID data type in HTML5. xml:id
is out of scope for HTML5 (except insofar as defining behaviour in case of
conflicts), it's an orthogonal XML specification.
The only characters that aren't allowed now are the space characters, and we
can't allow those since that would make it impossible to refer to those IDs
from space-separated lists (e.g. in headers="" attributes).
Duplicate ID checker has been supported by all DTD-based validators since the
dawn of SGML, as far as I'm aware. It is anything but new.
As to Lachlan's comments not being cogent, I understood his comments. I didn't
understand yours. So I couldn't say if they were cogent or not. However, I do
agree with his comments.
Could you describe, in two lines, what the problem is that you want to solve?
--
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 Sunday, 22 June 2008 09:07:07 UTC