[html5] r7461 - [] (0) Allow the UA to just pretend controls='' is always set, or to let the use [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2012-10-12 11:38:29 -0700 (Fri, 12 Oct 2012)
New Revision: 7461

Modified:
   complete.html
   index
   source
Log:
[] (0) Allow the UA to just pretend controls='' is always set, or to let the user ask for those controls.
Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=17553
Affected topics: Video and Audio

Modified: complete.html
===================================================================
--- complete.html	2012-10-12 18:06:56 UTC (rev 7460)
+++ complete.html	2012-10-12 18:38:29 UTC (rev 7461)
@@ -35699,7 +35699,9 @@
   <p>Even when the attribute is absent, however, user agents may provide controls to affect playback
   of the media resource (e.g. play, pause, seeking, and volume controls), but such features should
   not interfere with the page's normal rendering. For example, such features could be exposed in the
-  <a href=#media-element>media element</a>'s context menu.</p>
+  <a href=#media-element>media element</a>'s context menu. The user agent may implement this simply by <a href=#expose-a-user-interface-to-the-user title="expose a user interface to the user">exposing a user interface to the user</a> as
+  described above (as if the <code title=attr-media-controls><a href=#attr-media-controls>controls</a></code> attribute was
+  present).</p>
 
   <p>Where possible (specifically, for starting, stopping, pausing, and unpausing playback, for
   seeking, for changing the rate of playback, for fast-forwarding or rewinding, for listing,

Modified: index
===================================================================
--- index	2012-10-12 18:06:56 UTC (rev 7460)
+++ index	2012-10-12 18:38:29 UTC (rev 7461)
@@ -35699,7 +35699,9 @@
   <p>Even when the attribute is absent, however, user agents may provide controls to affect playback
   of the media resource (e.g. play, pause, seeking, and volume controls), but such features should
   not interfere with the page's normal rendering. For example, such features could be exposed in the
-  <a href=#media-element>media element</a>'s context menu.</p>
+  <a href=#media-element>media element</a>'s context menu. The user agent may implement this simply by <a href=#expose-a-user-interface-to-the-user title="expose a user interface to the user">exposing a user interface to the user</a> as
+  described above (as if the <code title=attr-media-controls><a href=#attr-media-controls>controls</a></code> attribute was
+  present).</p>
 
   <p>Where possible (specifically, for starting, stopping, pausing, and unpausing playback, for
   seeking, for changing the rate of playback, for fast-forwarding or rewinding, for listing,

Modified: source
===================================================================
--- source	2012-10-12 18:06:56 UTC (rev 7460)
+++ source	2012-10-12 18:38:29 UTC (rev 7461)
@@ -41665,7 +41665,10 @@
   <p>Even when the attribute is absent, however, user agents may provide controls to affect playback
   of the media resource (e.g. play, pause, seeking, and volume controls), but such features should
   not interfere with the page's normal rendering. For example, such features could be exposed in the
-  <span>media element</span>'s context menu.</p>
+  <span>media element</span>'s context menu. The user agent may implement this simply by <span
+  title="expose a user interface to the user">exposing a user interface to the user</span> as
+  described above (as if the <code title="attr-media-controls">controls</code> attribute was
+  present).</p>
 
   <p>Where possible (specifically, for starting, stopping, pausing, and unpausing playback, for
   seeking, for changing the rate of playback, for fast-forwarding or rewinding, for listing,