[html5] r7971 - [e] (0) Fix some poor editing from the earlier patch that called 'time marches o [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2013-06-12 16:00:57 -0700 (Wed, 12 Jun 2013)
New Revision: 7971

Modified:
   complete.html
   index
   source
Log:
[e] (0) Fix some poor editing from the earlier patch that called 'time marches on'.
Affected topics: Video and Audio

Modified: complete.html
===================================================================
--- complete.html	2013-06-12 22:58:56 UTC (rev 7970)
+++ complete.html	2013-06-12 23:00:57 UTC (rev 7971)
@@ -29040,7 +29040,7 @@
   <a href=#media-element>media element</a>'s <a href=#list-of-newly-introduced-cues>list of newly introduced cues</a>. When a <a href=#media-element>media
   element</a>'s <a href=#list-of-newly-introduced-cues>list of newly introduced cues</a> has new cues added while the
   <a href=#media-element>media element</a> is <a href=#dom-media-paused title=dom-media-paused>paused</a> but its <a href=#show-poster-flag>show
-  poster flag</a> is not set, the the user agent must run the <i><a href=#time-marches-on>time marches on</a></i> steps</p>
+  poster flag</a> is not set, then the user agent must run the <i><a href=#time-marches-on>time marches on</a></i> steps.</p>
 
   <p>When the <a href=#current-playback-position>current playback position</a> of a <a href=#media-element>media element</a> changes (e.g.
   due to playback or seeking), the user agent must run the <i><a href=#time-marches-on>time marches on</a></i> steps. If the

Modified: index
===================================================================
--- index	2013-06-12 22:58:56 UTC (rev 7970)
+++ index	2013-06-12 23:00:57 UTC (rev 7971)
@@ -29040,7 +29040,7 @@
   <a href=#media-element>media element</a>'s <a href=#list-of-newly-introduced-cues>list of newly introduced cues</a>. When a <a href=#media-element>media
   element</a>'s <a href=#list-of-newly-introduced-cues>list of newly introduced cues</a> has new cues added while the
   <a href=#media-element>media element</a> is <a href=#dom-media-paused title=dom-media-paused>paused</a> but its <a href=#show-poster-flag>show
-  poster flag</a> is not set, the the user agent must run the <i><a href=#time-marches-on>time marches on</a></i> steps</p>
+  poster flag</a> is not set, then the user agent must run the <i><a href=#time-marches-on>time marches on</a></i> steps.</p>
 
   <p>When the <a href=#current-playback-position>current playback position</a> of a <a href=#media-element>media element</a> changes (e.g.
   due to playback or seeking), the user agent must run the <i><a href=#time-marches-on>time marches on</a></i> steps. If the

Modified: source
===================================================================
--- source	2013-06-12 22:58:56 UTC (rev 7970)
+++ source	2013-06-12 23:00:57 UTC (rev 7971)
@@ -30988,7 +30988,7 @@
   <span>media element</span>'s <span>list of newly introduced cues</span>. When a <span>media
   element</span>'s <span>list of newly introduced cues</span> has new cues added while the
   <span>media element</span> is <span title="dom-media-paused">paused</span> but its <span>show
-  poster flag</span> is not set, the the user agent must run the <i>time marches on</i> steps</p>
+  poster flag</span> is not set, then the user agent must run the <i>time marches on</i> steps.</p>
 
   <p>When the <span>current playback position</span> of a <span>media element</span> changes (e.g.
   due to playback or seeking), the user agent must run the <i>time marches on</i> steps. If the