[html5] r3013 - [e] (0) markup change

whatwg at whatwg.org whatwg at whatwg.org
Tue Apr 28 15:42:10 PDT 2009


Author: ianh
Date: 2009-04-28 15:42:09 -0700 (Tue, 28 Apr 2009)
New Revision: 3013

Modified:
   index
   source
Log:
[e] (0) markup change

Modified: index
===================================================================
--- index	2009-04-28 22:38:20 UTC (rev 3012)
+++ index	2009-04-28 22:42:09 UTC (rev 3013)
@@ -20486,7 +20486,7 @@
       must follow these substeps:</p>
 
       <ol><li><p>Set the <a href=#current-playback-position>current playback position</a> to the
-       <var><a href=#earliest-possible-position>earliest possible position</a></var>.</li>
+       <a href=#earliest-possible-position>earliest possible position</a>.</li>
 
        <li><p>Set the <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute to
        <code title=dom-media-HAVE_METADATA><a href=#dom-media-have_metadata>HAVE_METADATA</a></code>.</li>
@@ -20846,15 +20846,14 @@
 
   <p>If the <a href=#media-resource>media resource</a> is a streaming resource, then
   the user agent might be unable to obtain certain parts of the
-  resource after it has expired from its buffer. The
-  <dfn id=earliest-possible-position><var>earliest possible position</var></dfn> is the earliest
-  position in the stream that the user agent can ever obtain
-  again.</p>
+  resource after it has expired from its buffer. The <dfn id=earliest-possible-position>earliest
+  possible position</dfn> is the earliest position in the stream that
+  the user agent can ever obtain again.</p>
 
-  <p>When the <var><a href=#earliest-possible-position>earliest possible position</a></var> changes, if the
+  <p>When the <a href=#earliest-possible-position>earliest possible position</a> changes, if the
   <a href=#current-playback-position>current playback position</a> is before the
-  <var><a href=#earliest-possible-position>earliest possible position</a></var>, the user agent must <a href=#dom-media-seek title=dom-media-seek>seek</a> to the <var><a href=#earliest-possible-position>earliest possible
-  position</a></var>.</p>
+  <a href=#earliest-possible-position>earliest possible position</a>, the user agent must <a href=#dom-media-seek title=dom-media-seek>seek</a> to the <a href=#earliest-possible-position>earliest possible
+  position</a>.</p>
 
   </div>
 
@@ -21252,7 +21251,7 @@
   playback</a> is forwards and the <a href=#media-element>media element</a> does
   not have a <code title=attr-media-loop><a href=#attr-media-loop>loop</a></code> attribute
   specified, or the <a href=#current-playback-position>current playback position</a> is the
-  <var><a href=#earliest-possible-position>earliest possible position</a></var> and the <a href=#direction-of-playback>direction of
+  <a href=#earliest-possible-position>earliest possible position</a> and the <a href=#direction-of-playback>direction of
   playback</a> is backwards.</p>
 
   <p>The <dfn id=dom-media-ended title=dom-media-ended><code>ended</code></dfn>
@@ -21302,8 +21301,8 @@
   playback</a> is forwards, then the user agent must follow these
   steps:</p>
 
-  <ol><li><p>If the <a href=#media-element>media element</a> has a <code title=attr-media-loop><a href=#attr-media-loop>loop</a></code> attribute specified, then <a href=#dom-media-seek title=dom-media-seek>seek</a> to the <var><a href=#earliest-possible-position>earliest possible
-   position</a></var> of the <a href=#media-resource>media resource</a> and abort these
+  <ol><li><p>If the <a href=#media-element>media element</a> has a <code title=attr-media-loop><a href=#attr-media-loop>loop</a></code> attribute specified, then <a href=#dom-media-seek title=dom-media-seek>seek</a> to the <a href=#earliest-possible-position>earliest possible
+   position</a> of the <a href=#media-resource>media resource</a> and abort these
    steps.</li> <!-- v2/v3: We should fire a 'looping' event here
    to explain why this immediately fires a 'playing' event, otherwise
    the 'playing' event that fires from the readyState going from
@@ -21322,7 +21321,7 @@
    at the element.</li>
 
   </ol><p>When the <a href=#current-playback-position>current playback position</a> reaches the
-  <var><a href=#earliest-possible-position>earliest possible position</a></var> of the <a href=#media-resource>media
+  <a href=#earliest-possible-position>earliest possible position</a> of the <a href=#media-resource>media
   resource</a> when the <a href=#direction-of-playback>direction of playback</a> is
   backwards, then the user agent must follow these steps:</p>
 
@@ -21388,7 +21387,7 @@
 
     <p>If the <a href=#ended-playback title="ended playback">playback has ended</a>,
     then the user agent must <a href=#dom-media-seek title=dom-media-seek>seek</a>
-    to the <var><a href=#earliest-possible-position>earliest possible position</a></var> of the <a href=#media-resource>media
+    to the <a href=#earliest-possible-position>earliest possible position</a> of the <a href=#media-resource>media
     resource</a>.</p>
 
     <p class=note>This <a href=#seekUpdate>will cause</a> the user
@@ -21623,7 +21622,7 @@
    end of the <a href=#media-resource>media resource</a> instead.</li>
 
    <li><p>If the <var title="">new playback position</var> is less
-   than the <var><a href=#earliest-possible-position>earliest possible position</a></var>, let it be that
+   than the <a href=#earliest-possible-position>earliest possible position</a>, let it be that
    position instead.</li>
 
    <li><p>If the (possibly now changed) <var title="">new playback

Modified: source
===================================================================
--- source	2009-04-28 22:38:20 UTC (rev 3012)
+++ source	2009-04-28 22:42:09 UTC (rev 3013)
@@ -22160,7 +22160,7 @@
       <ol>
 
        <li><p>Set the <span>current playback position</span> to the
-       <var>earliest possible position</var>.</p></li>
+       <span>earliest possible position</span>.</p></li>
 
        <li><p>Set the <code
        title="dom-media-readyState">readyState</code> attribute to
@@ -22592,16 +22592,15 @@
 
   <p>If the <span>media resource</span> is a streaming resource, then
   the user agent might be unable to obtain certain parts of the
-  resource after it has expired from its buffer. The
-  <dfn><var>earliest possible position</var></dfn> is the earliest
-  position in the stream that the user agent can ever obtain
-  again.</p>
+  resource after it has expired from its buffer. The <dfn>earliest
+  possible position</dfn> is the earliest position in the stream that
+  the user agent can ever obtain again.</p>
 
-  <p>When the <var>earliest possible position</var> changes, if the
+  <p>When the <span>earliest possible position</span> changes, if the
   <span>current playback position</span> is before the
-  <var>earliest possible position</var>, the user agent must <span
-  title="dom-media-seek">seek</span> to the <var>earliest possible
-  position</var>.</p>
+  <span>earliest possible position</span>, the user agent must <span
+  title="dom-media-seek">seek</span> to the <span>earliest possible
+  position</span>.</p>
 
   </div>
 
@@ -23073,7 +23072,7 @@
   playback</span> is forwards and the <span>media element</span> does
   not have a <code title="attr-media-loop">loop</code> attribute
   specified, or the <span>current playback position</span> is the
-  <var>earliest possible position</var> and the <span>direction of
+  <span>earliest possible position</span> and the <span>direction of
   playback</span> is backwards.</p>
 
   <p>The <dfn title="dom-media-ended"><code>ended</code></dfn>
@@ -23134,8 +23133,8 @@
 
    <li><p>If the <span>media element</span> has a <code
    title="attr-media-loop">loop</code> attribute specified, then <span
-   title="dom-media-seek">seek</span> to the <var>earliest possible
-   position</var> of the <span>media resource</span> and abort these
+   title="dom-media-seek">seek</span> to the <span>earliest possible
+   position</span> of the <span>media resource</span> and abort these
    steps.</p></li> <!-- v2/v3: We should fire a 'looping' event here
    to explain why this immediately fires a 'playing' event, otherwise
    the 'playing' event that fires from the readyState going from
@@ -23158,7 +23157,7 @@
   </ol>
 
   <p>When the <span>current playback position</span> reaches the
-  <var>earliest possible position</var> of the <span>media
+  <span>earliest possible position</span> of the <span>media
   resource</span> when the <span>direction of playback</span> is
   backwards, then the user agent must follow these steps:</p>
 
@@ -23242,7 +23241,7 @@
 
     <p>If the <span title="ended playback">playback has ended</span>,
     then the user agent must <span title="dom-media-seek">seek</span>
-    to the <var>earliest possible position</var> of the <span>media
+    to the <span>earliest possible position</span> of the <span>media
     resource</span>.</p>
 
     <p class="note">This <a href="#seekUpdate">will cause</a> the user
@@ -23532,7 +23531,7 @@
    end of the <span>media resource</span> instead.</p></li>
 
    <li><p>If the <var title="">new playback position</var> is less
-   than the <var>earliest possible position</var>, let it be that
+   than the <span>earliest possible position</span>, let it be that
    position instead.</p></li>
 
    <li><p>If the (possibly now changed) <var title="">new playback




More information about the Commit-Watchers mailing list