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 22688 - [HTML] editorial: 12.2.4.69: missing "character token"
Summary: [HTML] editorial: 12.2.4.69: missing "character token"
Status: CLOSED FIXED
Alias: None
Product: WHATWG
Classification: Unclassified
Component: HTML (show other bugs)
Version: unspecified
Hardware: All All
: P2 minor
Target Milestone: Unsorted
Assignee: Ian 'Hixie' Hickson
QA Contact: contributor
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-07-16 01:34 UTC by Michael Dyck
Modified: 2013-08-02 23:52 UTC (History)
2 users (show)

See Also:

Attachments

Description Michael Dyck 2013-07-16 01:34:29 UTC 
In 12.2.4.69 "Tokenizing character references",
under "U+0023 NUMBER SIGN (#)",
the second-last para says:
    Return a U+FFFD REPLACEMENT CHARACTER.

But this algorithm returns character tokens, not characters.

Change to:
    Return a character token for a U+FFFD REPLACEMENT CHARACTER.
or
    Return a U+FFFD REPLACEMENT CHARACTER character token.