- 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