- From: <bugzilla@jessica.w3.org>
- Date: Tue, 01 Jul 2014 09:53:03 +0000
- To: public-media-capture@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=26062
Harald Alvestrand <harald@alvestrand.no> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |harald@alvestrand.no
Resolution|--- |WONTFIX
--- Comment #2 from Harald Alvestrand <harald@alvestrand.no> ---
Relevant WebIDL spec: http://www.w3.org/TR/WebIDL/ section 3.1
For all of these constructs, the identifier is the value of the identifier
token with any single leading U+005F LOW LINE ("_") character (underscore)
removed.
Note
A leading "_" is used to escape an identifier from looking like a reserved word
so that, for example, an interface named “interface” can be defined. The
leading "_" is dropped to unescape the identifier.
While this is irritating, it's self-consistent.
Closing as "no change needed".
--
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.
Received on Tuesday, 1 July 2014 09:53:04 UTC