- 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