[giow] (0) Be less flexible about what UAs are allowed to do with <vi…

…deo>. Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=12465 git-svn-id: http://svn.whatwg.org/webapps@6454 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Aug 15, 2011 · 500ae6f · 500ae6f
1 parent a19af99
commit 500ae6f
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 30 deletions.
diff --git a/complete.html b/complete.html
@@ -25858,19 +25858,15 @@ <h4 id=the-video-element><span class=secno>4.8.6 </span>The <dfn id=video><code>
   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>
-
-  <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>
+  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>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

diff --git a/index b/index
@@ -25725,19 +25725,15 @@ href="?audio"&gt;audio&lt;/a&gt; test instead.)&lt;/p&gt;</pre>
   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>
-
-  <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>
+  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>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

diff --git a/source b/source
@@ -27802,20 +27802,16 @@ href="?audio">audio&lt;/a> test instead.)&lt;/p></pre>
   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>
-
-  <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>
+  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>When a <code>video</code> element is <span
   title="dom-media-paused">paused</span> at any other position, and