[html5] r6227 - [e] (0) grammar Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=12358

[whatwg at whatwg.org]

Author: ianh
Date: 2011-06-14 16:18:22 -0700 (Tue, 14 Jun 2011)
New Revision: 6227

Modified:
   complete.html
   index
   source
Log:
[e] (0) grammar
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=12358

Modified: complete.html
===================================================================
--- complete.html	2011-06-14 23:13:39 UTC (rev 6226)
+++ complete.html	2011-06-14 23:18:22 UTC (rev 6227)
@@ -30124,7 +30124,7 @@
   media elements</a> are <a href=#blocked-media-element title="blocked media
   element">blocked media elements</a>, or if any of its
   <a href=#slaved-media-elements>slaved media elements</a> whose <a href=#autoplaying-flag>autoplaying
-  flag</a> is true still have a <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute that is true, or if
+  flag</a> is true still have their <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute set to true, or if
   all of its <a href=#slaved-media-elements>slaved media elements</a> have their <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute set to true.</p>
 
   <p>A <a href=#media-element>media element</a> is <dfn id=blocked-on-its-media-controller>blocked on its media

Modified: index
===================================================================
--- index	2011-06-14 23:13:39 UTC (rev 6226)
+++ index	2011-06-14 23:18:22 UTC (rev 6227)
@@ -30117,7 +30117,7 @@
   media elements</a> are <a href=#blocked-media-element title="blocked media
   element">blocked media elements</a>, or if any of its
   <a href=#slaved-media-elements>slaved media elements</a> whose <a href=#autoplaying-flag>autoplaying
-  flag</a> is true still have a <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute that is true, or if
+  flag</a> is true still have their <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute set to true, or if
   all of its <a href=#slaved-media-elements>slaved media elements</a> have their <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute set to true.</p>
 
   <p>A <a href=#media-element>media element</a> is <dfn id=blocked-on-its-media-controller>blocked on its media

Modified: source
===================================================================
--- source	2011-06-14 23:13:39 UTC (rev 6226)
+++ source	2011-06-14 23:18:22 UTC (rev 6227)
@@ -32978,8 +32978,8 @@
   media elements</span> are <span title="blocked media
   element">blocked media elements</span>, or if any of its
   <span>slaved media elements</span> whose <span>autoplaying
-  flag</span> is true still have a <code
-  title="dom-media-paused">paused</code> attribute that is true, or if
+  flag</span> is true still have their <code
+  title="dom-media-paused">paused</code> attribute set to true, or if
   all of its <span>slaved media elements</span> have their <code
   title="dom-media-paused">paused</code> attribute set to true.</p>