This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 19469 - "ident token" used instead of "identifier token"
Summary: "ident token" used instead of "identifier token"
Status: RESOLVED FIXED
Alias: None
Product: CSS
Classification: Unclassified
Component: Syntax (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 normal
Target Milestone: ---
Assignee: Tab Atkins Jr.
QA Contact: public-css-bugzilla
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-10-11 13:12 UTC by Brandon Frohs
Modified: 2012-10-16 18:15 UTC (History)
0 users

See Also:


Attachments

Description Brandon Frohs 2012-10-11 13:12:28 UTC
"ident token" is used instead of "identifier token" in the following sections:

- Declaration-block mode
- Declaration-important mode
Comment 1 Brandon Frohs 2012-10-16 15:03:35 UTC
"ident" is still referred to in the following sections:

- http://dev.w3.org/csswg/css3-syntax/#ident-diagram
- http://dev.w3.org/csswg/css3-syntax/#changes-from-css-2.1-core-grammar (#1)


Additionally, if "identifier" is used instead of "ident", it should probably be noted in the "Changes from CSS 2.1 Core Grammar" section.
Comment 2 Tab Atkins Jr. 2012-10-16 18:13:41 UTC
Hm, that's a valid point.  In that case, I should probably change everything back over to being ident.