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 26258 - "skip White_Space characters" is defined but not used anywhere
Summary: "skip White_Space characters" is defined but not used anywhere
Status: RESOLVED FIXED
Alias: None
Product: HTML WG
Classification: Unclassified
Component: HTML5 spec (show other bugs)
Version: unspecified
Hardware: All All
: P2 normal
Target Milestone: LC
Assignee: This bug has no owner yet - up for the taking
QA Contact: HTML WG Bugzilla archive list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-07-03 09:09 UTC by Andrey Botalov
Modified: 2014-07-16 10:42 UTC (History)
4 users (show)

See Also:

Attachments

Description Andrey Botalov 2014-07-03 09:09:54 UTC 
Section 2.4.1 defines step "skip White_Space characters" but this step doesn't seem to be used anywhere in the spec.

I think it should either be used or removed.

Applies to both HTML5 and HTML5.1 specs.
Comment 1 Robin Berjon 2014-07-16 10:41:38 UTC 
Fixed in 5386724 and ffc0ccc, thanks!