hixie: Correct a typo that was removing lots of content; add more stuff to the W3C header part. (whatwg r3444)

hixie: Correct a typo that was removing lots of content; add more stuff
to the W3C header part. (whatwg r3444)

http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.2568&r2=1.2569&f=h
http://html5.org/tools/web-apps-tracker?from=3443&to=3444

===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.2568
retrieving revision 1.2569
diff -u -d -r1.2568 -r1.2569
--- Overview.html 18 Jul 2009 00:45:50 -0000 1.2568
+++ Overview.html 18 Jul 2009 18:58:30 -0000 1.2569
@@ -194,7 +194,12 @@
     <dt>Editors:</dt>
     <dd><a href="mailto:ian@hixie.ch">Ian Hickson</a>, Google, Inc.</dd>
     <dd>David Hyatt, Apple, Inc.</dd>
-   </dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a>
+   </dl><p>This specification is available in the following formats: 
+    <a href="Overview.html">single page HTML</a>,
+    <a href="spec.html">multipage HTML</a>.
+    This is revision $Revision$.
+   </p>
+   <p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a>
    &copy; 2009 <a href="http://www.w3.org/"><abbr title="World Wide
    Web Consortium">W3C</abbr></a><sup>&reg;</sup> (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts
    Institute of Technology">MIT</abbr></a>, <a href="http://www.ercim.org/"><abbr title="European Research
@@ -18266,12 +18271,12 @@
      <!-- insert content sniffing here if we want to define that -->
      <!-- (in practice I don't think that's necessary since it's not
      like you can do anything with the resource if you sniff it as the
-     wrong type) ->
+     wrong type) -->
 
 
-     <dt id="getting-media-metadata">Once enough of the <span>media
-     data</span> has been fetched to determine the duration of the
-     <span>media resource</span>, its dimensions, and other
+     <dt id="getting-media-metadata">Once enough of the <a href="#media-data">media
+     data</a> has been fetched to determine the duration of the
+     <a href="#media-resource">media resource</a>, its dimensions, and other
      metadata</dt>
 
      <dd>
@@ -18279,45 +18284,35 @@
       <p>This indicates that the resource is usable. The user agent
       must follow these substeps:</p>
 
-      <ol>
-
-       <li><p>Set the <span>current playback position</span> to the
-       <span>earliest possible position</span>.</p></li>
+      <ol><li><p>Set the <a href="#current-playback-position">current playback position</a> to the
+       <a href="#earliest-possible-position">earliest possible position</a>.</li>
 
-       <li><p>Set the <code
-       title="dom-media-readyState">readyState</code> attribute to
-       <code
-       title="dom-media-HAVE_METADATA">HAVE_METADATA</code>.</p></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>
 
-       <li><p>For <code>video</code> elements, set the <code
-       title="dom-video-videoWidth">videoWidth</code> and <code
-       title="dom-video-videoHeight">videoHeight</code>
-       attributes.</p></li>
+       <li><p>For <code><a href="#video">video</a></code> elements, set the <code title="dom-video-videoWidth"><a href="#dom-video-videowidth">videoWidth</a></code> and <code title="dom-video-videoHeight"><a href="#dom-video-videoheight">videoHeight</a></code>
+       attributes.</li>
 
        <li>
 
-        <p>Set the <code title="dom-media-duration">duration</code>
+        <p>Set the <code title="dom-media-duration"><a href="#dom-media-duration">duration</a></code>
         attribute to the duration of the resource.</p>
 
-        <p class="note">The user agent <a
-        href="#durationChange">will</a> <span>queue a task</span> to
-        <span>fire a simple event</span> called <code
-        title="event-durationchange">durationchange</code> at the
+        <p class="note">The user agent <a href="#durationChange">will</a> <a href="#queue-a-task">queue a task</a> to
+        <a href="#fire-a-simple-event">fire a simple event</a> called <code title="event-durationchange"><a href="#event-durationchange">durationchange</a></code> at the
         element at this point.</p>
 
        </li>
 
-       <li id="fire-loadedmetadata"><p><span>Queue a task</span> to
-       <span>fire a simple event</span> called <code
-       title="event-loadedmetadata">loadedmetadata</code> at the
+       <li id="fire-loadedmetadata"><p><a href="#queue-a-task">Queue a task</a> to
+       <a href="#fire-a-simple-event">fire a simple event</a> called <code title="event-loadedmetadata"><a href="#event-loadedmetadata">loadedmetadata</a></code> at the
        element.</li>
 
        <li>
 
-        <p>If either the <span>media resource</span> or the address
+        <p>If either the <a href="#media-resource">media resource</a> or the address
         of the <var title="">current media resource</var> indicate a
-        particular start time, then <span
-        title="dom-media-seek">seek</span> to that time. Ignore any
+        particular start time, then <a href="#dom-media-seek" title="dom-media-seek">seek</a> to that time. Ignore any
         resulting exceptions (if the position is out of range, it is
         effectively ignored).</p>
 
@@ -18328,37 +18323,28 @@
 
        <li>
 
-        <p>Once the <code
-        title="dom-media-readyState">readyState</code> attribute
-        reaches <code
-        title="dom-media-HAVE_CURRENT_DATA">HAVE_CURRENT_DATA</code>,
-        <a href="#fire-loadeddata">after the <code
-        title="event-loadeddata">loadeddata</code> event has been
-        fired</a>, set the element's <span>delaying-the-load-event
-        flag</span> to false. This stops <span title="delay the load
-        event">delaying the load event</span>.</p>
+        <p>Once the <code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> attribute
+        reaches <code title="dom-media-HAVE_CURRENT_DATA"><a href="#dom-media-have_current_data">HAVE_CURRENT_DATA</a></code>,
+        <a href="#fire-loadeddata">after the <code title="event-loadeddata">loadeddata</code> event has been
+        fired</a>, set the element's <a href="#delaying-the-load-event-flag">delaying-the-load-event
+        flag</a> to false. This stops <a href="#delay-the-load-event" title="delay the load
+        event">delaying the load event</a>.</p>
 
         <p class="note">A user agent that is attempting to reduce
         network usage while still fetching the metadata for each
-        <span>media resource</span> would also stop buffering at this
-        point, causing the <code
-        title="dom-media-networkState">networkState</code> attribute
-        to switch to the <code
-        title="dom-media-NETWORK_IDLE">NETWORK_IDLE</code> value, if
-        the <span>media element</span> did not have an <code
-        title="attr-media-autobuffer">autobuffer</code> or <code
-        title="attr-media-autoplay">autoplay</code> attribute.</p>
+        <a href="#media-resource">media resource</a> would also stop buffering at this
+        point, causing the <code title="dom-media-networkState"><a href="#dom-media-networkstate">networkState</a></code> attribute
+        to switch to the <code title="dom-media-NETWORK_IDLE"><a href="#dom-media-network_idle">NETWORK_IDLE</a></code> value, if
+        the <a href="#media-element">media element</a> did not have an <code title="attr-media-autobuffer"><a href="#attr-media-autobuffer">autobuffer</a></code> or <code title="attr-media-autoplay"><a href="#attr-media-autoplay">autoplay</a></code> attribute.</p>
 
        </li>
 
-      </ol>
-
-      <p class="note">The user agent is <em>required</em> to
-      determine the duration of the <span>media resource</span> and
+      </ol><p class="note">The user agent is <em>required</em> to
+      determine the duration of the <a href="#media-resource">media resource</a> and
       go through this step before playing.</p> <!-- actually defined
       in the 'duration' section -->
 
-     
+     </dd>
 
 
      <dt>If the connection is interrupted, causing the user agent to

Received on Saturday, 18 July 2009 19:00:43 UTC