[html5] r6806 - [giowt] (0) Fix broken invariant: a setting in a WebVTT cue timings line has to [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2011-11-01 09:12:52 -0700 (Tue, 01 Nov 2011)
New Revision: 6806

Modified:
   complete.html
   index
   source
Log:
[giowt] (0) Fix broken invariant: a setting in a WebVTT cue timings line has to not contain spaces, and spaces separate settings from each other.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=1462814628

Modified: complete.html
===================================================================
--- complete.html	2011-11-01 16:08:59 UTC (rev 6805)
+++ complete.html	2011-11-01 16:12:52 UTC (rev 6806)
@@ -33261,6 +33261,10 @@
 
    <li><p>If <var title="">position</var> is beyond the end of <var title="">input</var> then abort these steps.</li>
 
+   <li><p>If the character at <var title="">position</var> is a
+   <a href=#space-character>space character</a>, then jump back to the step labeled
+   <i>settings</i>.</li>
+
    <li><p>If the character at <var title="">position</var> is not a
    U+003A COLON character (:), then set <var title="">setting</var> to
    the empty string.</li>

Modified: index
===================================================================
--- index	2011-11-01 16:08:59 UTC (rev 6805)
+++ index	2011-11-01 16:12:52 UTC (rev 6806)
@@ -33261,6 +33261,10 @@
 
    <li><p>If <var title="">position</var> is beyond the end of <var title="">input</var> then abort these steps.</li>
 
+   <li><p>If the character at <var title="">position</var> is a
+   <a href=#space-character>space character</a>, then jump back to the step labeled
+   <i>settings</i>.</li>
+
    <li><p>If the character at <var title="">position</var> is not a
    U+003A COLON character (:), then set <var title="">setting</var> to
    the empty string.</li>

Modified: source
===================================================================
--- source	2011-11-01 16:08:59 UTC (rev 6805)
+++ source	2011-11-01 16:12:52 UTC (rev 6806)
@@ -36413,6 +36413,10 @@
    <li><p>If <var title="">position</var> is beyond the end of <var
    title="">input</var> then abort these steps.</p></li>
 
+   <li><p>If the character at <var title="">position</var> is a
+   <span>space character</span>, then jump back to the step labeled
+   <i>settings</i>.</p></li>
+
    <li><p>If the character at <var title="">position</var> is not a
    U+003A COLON character (:), then set <var title="">setting</var> to
    the empty string.</p></li>