[html5] r5918 - [giow] (1) 'potentially playing' definition was slightly wrong

[whatwg at whatwg.org]

Author: ianh
Date: 2011-02-25 15:40:01 -0800 (Fri, 25 Feb 2011)
New Revision: 5918

Modified:
   complete.html
   index
   source
Log:
[giow] (1) 'potentially playing' definition was slightly wrong

Modified: complete.html
===================================================================
--- complete.html	2011-02-25 09:08:04 UTC (rev 5917)
+++ complete.html	2011-02-25 23:40:01 UTC (rev 5918)
@@ -27412,7 +27412,8 @@
   <p>A <a href=#media-element>media element</a> is said to be <dfn id=potentially-playing>potentially
   playing</dfn> when its <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code>
   attribute is false, the <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is either
-  <code title=dom-media-HAVE_FUTURE_DATA><a href=#dom-media-have_future_data>HAVE_FUTURE_DATA</a></code> or
+  <code title=dom-media-HAVE_CURRENT_DATA><a href=#dom-media-have_current_data>HAVE_CURRENT_DATA</a></code>,
+  <code title=dom-media-HAVE_FUTURE_DATA><a href=#dom-media-have_future_data>HAVE_FUTURE_DATA</a></code>, or
   <code title=dom-media-HAVE_ENOUGH_DATA><a href=#dom-media-have_enough_data>HAVE_ENOUGH_DATA</a></code>,
   the element has not <a href=#ended-playback>ended playback</a>, playback has not
   <a href=#stopped-due-to-errors>stopped due to errors</a>, and the element has not <a href=#paused-for-user-interaction>paused

Modified: index
===================================================================
--- index	2011-02-25 09:08:04 UTC (rev 5917)
+++ index	2011-02-25 23:40:01 UTC (rev 5918)
@@ -27395,7 +27395,8 @@
   <p>A <a href=#media-element>media element</a> is said to be <dfn id=potentially-playing>potentially
   playing</dfn> when its <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code>
   attribute is false, the <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is either
-  <code title=dom-media-HAVE_FUTURE_DATA><a href=#dom-media-have_future_data>HAVE_FUTURE_DATA</a></code> or
+  <code title=dom-media-HAVE_CURRENT_DATA><a href=#dom-media-have_current_data>HAVE_CURRENT_DATA</a></code>,
+  <code title=dom-media-HAVE_FUTURE_DATA><a href=#dom-media-have_future_data>HAVE_FUTURE_DATA</a></code>, or
   <code title=dom-media-HAVE_ENOUGH_DATA><a href=#dom-media-have_enough_data>HAVE_ENOUGH_DATA</a></code>,
   the element has not <a href=#ended-playback>ended playback</a>, playback has not
   <a href=#stopped-due-to-errors>stopped due to errors</a>, and the element has not <a href=#paused-for-user-interaction>paused

Modified: source
===================================================================
--- source	2011-02-25 09:08:04 UTC (rev 5917)
+++ source	2011-02-25 23:40:01 UTC (rev 5918)
@@ -29681,7 +29681,8 @@
   playing</dfn> when its <code title="dom-media-paused">paused</code>
   attribute is false, the <code
   title="dom-media-readyState">readyState</code> attribute is either
-  <code title="dom-media-HAVE_FUTURE_DATA">HAVE_FUTURE_DATA</code> or
+  <code title="dom-media-HAVE_CURRENT_DATA">HAVE_CURRENT_DATA</code>,
+  <code title="dom-media-HAVE_FUTURE_DATA">HAVE_FUTURE_DATA</code>, or
   <code title="dom-media-HAVE_ENOUGH_DATA">HAVE_ENOUGH_DATA</code>,
   the element has not <span>ended playback</span>, playback has not
   <span>stopped due to errors</span>, and the element has not <span>paused