[giow] (0) disallow trailing garbage in timestamps

Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=10770

git-svn-id: http://svn.whatwg.org/webapps@5559 340c8d12-0b0e-0410-8428-c7bf67bfef74

complete.html

@@ -29579,9 +29579,10 @@ <h6 id=parsing-0><span class=secno>4.8.10.11.2 </span>Parsing</h6>
 
          <li>
 
-          <p>If that algorithm does not fail, then create a
-          <a href=#websrt-timestamp-object>WebSRT Timestamp Object</a> whose value is the
-          collected time, then append it to <var title="">current</var>.</p>
+          <p>If that algorithm does not fail, and if <var title="">position</var> now points at the end of <var title="">input</var> (i.e. there are no trailing characters
+          after the timestamp), then create a <a href=#websrt-timestamp-object>WebSRT Timestamp
+          Object</a> whose value is the collected time, then append
+          it to <var title="">current</var>.</p>
 
           <p>Otherwise, ignore the token.</p>
 

index

@@ -29559,9 +29559,10 @@ interface <dfn id=timedtrackcue>TimedTrackCue</dfn> {
 
          <li>
 
-          <p>If that algorithm does not fail, then create a
-          <a href=#websrt-timestamp-object>WebSRT Timestamp Object</a> whose value is the
-          collected time, then append it to <var title="">current</var>.</p>
+          <p>If that algorithm does not fail, and if <var title="">position</var> now points at the end of <var title="">input</var> (i.e. there are no trailing characters
+          after the timestamp), then create a <a href=#websrt-timestamp-object>WebSRT Timestamp
+          Object</a> whose value is the collected time, then append
+          it to <var title="">current</var>.</p>
 
           <p>Otherwise, ignore the token.</p>
 

source

@@ -32335,10 +32335,12 @@ interface <dfn>TimedTrackCue</dfn> {
 
          <li>
 
-          <p>If that algorithm does not fail, then create a
-          <span>WebSRT Timestamp Object</span> whose value is the
-          collected time, then append it to <var
-          title="">current</var>.</p>
+          <p>If that algorithm does not fail, and if <var
+          title="">position</var> now points at the end of <var
+          title="">input</var> (i.e. there are no trailing characters
+          after the timestamp), then create a <span>WebSRT Timestamp
+          Object</span> whose value is the collected time, then append
+          it to <var title="">current</var>.</p>
 
           <p>Otherwise, ignore the token.</p>