[html5] r6454 - [giow] (0) Be less flexible about what UAs are allowed to do with <video>. Fixin [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2011-08-14 21:16:21 -0700 (Sun, 14 Aug 2011)
New Revision: 6454

Modified:
   complete.html
   index
   source
Log:
[giow] (0) Be less flexible about what UAs are allowed to do with <video>.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=12465

Modified: complete.html
===================================================================
--- complete.html	2011-08-15 04:09:05 UTC (rev 6453)
+++ complete.html	2011-08-15 04:16:21 UTC (rev 6454)
@@ -25858,20 +25858,16 @@
   data has yet been obtained at all, or the element's <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is any
   subsequent value but the <a href=#media-resource>media resource</a> does not have a
   video channel), the <code><a href=#the-video-element>video</a></code> element
-  <a href=#represents>represents</a> either the <a href=#poster-frame>poster frame</a>, or
-  nothing.</p>
+  <a href=#represents>represents</a> the <a href=#poster-frame>poster frame</a>.</p>
 
   <p>When a <code><a href=#the-video-element>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> and the <a href=#current-playback-position title="current
   playback position">current playback position</a> is the first
-  frame of video, the element <a href=#represents>represents</a> either the frame
-  of video corresponding to the <a href=#current-playback-position title="current playback
-  position">current playback position</a> or the <a href=#poster-frame>poster
-  frame</a>, at the discretion of the user agent.</p>
+  frame of video, the element <a href=#represents>represents</a> the <a href=#poster-frame>poster
+  frame</a>, unless a frame of video has already been shown, in
+  which case the element <a href=#represents>represents</a> the frame of video
+  corresponding to the <a href=#current-playback-position title="current playback position">current
+  playback position</a>.</p>
 
-  <p>Notwithstanding the above, the <a href=#poster-frame>poster frame</a> should
-  be preferred over nothing, but the <a href=#poster-frame>poster frame</a> should
-  not be shown again after a frame of video has been shown.</p>
-
   <p>When a <code><a href=#the-video-element>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> at any other position, and
   the <a href=#media-resource>media resource</a> has a video channel, the element
   <a href=#represents>represents</a> the frame of video corresponding to the

Modified: index
===================================================================
--- index	2011-08-15 04:09:05 UTC (rev 6453)
+++ index	2011-08-15 04:16:21 UTC (rev 6454)
@@ -25725,20 +25725,16 @@
   data has yet been obtained at all, or the element's <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is any
   subsequent value but the <a href=#media-resource>media resource</a> does not have a
   video channel), the <code><a href=#the-video-element>video</a></code> element
-  <a href=#represents>represents</a> either the <a href=#poster-frame>poster frame</a>, or
-  nothing.</p>
+  <a href=#represents>represents</a> the <a href=#poster-frame>poster frame</a>.</p>
 
   <p>When a <code><a href=#the-video-element>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> and the <a href=#current-playback-position title="current
   playback position">current playback position</a> is the first
-  frame of video, the element <a href=#represents>represents</a> either the frame
-  of video corresponding to the <a href=#current-playback-position title="current playback
-  position">current playback position</a> or the <a href=#poster-frame>poster
-  frame</a>, at the discretion of the user agent.</p>
+  frame of video, the element <a href=#represents>represents</a> the <a href=#poster-frame>poster
+  frame</a>, unless a frame of video has already been shown, in
+  which case the element <a href=#represents>represents</a> the frame of video
+  corresponding to the <a href=#current-playback-position title="current playback position">current
+  playback position</a>.</p>
 
-  <p>Notwithstanding the above, the <a href=#poster-frame>poster frame</a> should
-  be preferred over nothing, but the <a href=#poster-frame>poster frame</a> should
-  not be shown again after a frame of video has been shown.</p>
-
   <p>When a <code><a href=#the-video-element>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> at any other position, and
   the <a href=#media-resource>media resource</a> has a video channel, the element
   <a href=#represents>represents</a> the frame of video corresponding to the

Modified: source
===================================================================
--- source	2011-08-15 04:09:05 UTC (rev 6453)
+++ source	2011-08-15 04:16:21 UTC (rev 6454)
@@ -27802,21 +27802,17 @@
   title="dom-media-readyState">readyState</code> attribute is any
   subsequent value but the <span>media resource</span> does not have a
   video channel), the <code>video</code> element
-  <span>represents</span> either the <span>poster frame</span>, or
-  nothing.</p>
+  <span>represents</span> the <span>poster frame</span>.</p>
 
   <p>When a <code>video</code> element is <span
   title="dom-media-paused">paused</span> and the <span title="current
   playback position">current playback position</span> is the first
-  frame of video, the element <span>represents</span> either the frame
-  of video corresponding to the <span title="current playback
-  position">current playback position</span> or the <span>poster
-  frame</span>, at the discretion of the user agent.</p>
+  frame of video, the element <span>represents</span> the <span>poster
+  frame</span>, unless a frame of video has already been shown, in
+  which case the element <span>represents</span> the frame of video
+  corresponding to the <span title="current playback position">current
+  playback position</span>.</p>
 
-  <p>Notwithstanding the above, the <span>poster frame</span> should
-  be preferred over nothing, but the <span>poster frame</span> should
-  not be shown again after a frame of video has been shown.</p>
-
   <p>When a <code>video</code> element is <span
   title="dom-media-paused">paused</span> at any other position, and
   the <span>media resource</span> has a video channel, the element