[giow] (1) Allow browsers to act like video stalled during navigation…

…, rather than aborted.

Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=18788
Affected topics: Video and Audio

git-svn-id: http://svn.whatwg.org/webapps@7721 340c8d12-0b0e-0410-8428-c7bf67bfef74

complete.html

@@ -248,7 +248,7 @@
 
   <header class=head id=head><p><a class=logo href=http://www.whatwg.org/><img alt=WHATWG height=101 src=/images/logo width=101></a></p>
    <hgroup><h1 class=allcaps>HTML</h1>
-    <h2 class="no-num no-toc">Living Standard &mdash; Last Updated 10 February 2013</h2>
+    <h2 class="no-num no-toc">Living Standard &mdash; Last Updated 12 February 2013</h2>
    </hgroup><dl><dt><strong>Web developer edition:</strong></dt>
     <dd><strong><a href=http://developers.whatwg.org/>http://developers.whatwg.org/</a></strong></dd>
     <dt>Multiple-page version:</dt>
@@ -27371,9 +27371,11 @@ <h5 id=loading-the-media-resource><span class=secno>4.8.10.5 </span>Loading the
     download may also be throttled automatically by the user agent, e.g. to balance the download
     with other connections sharing the same bandwidth.</p>
 
+<!--CLEANUP-->
     <p id=resourceSuspend>User agents may decide to not download more content at any time, e.g.
     after buffering five minutes of a one hour media resource, while waiting for the user to decide
-    whether to play the resource or not, or while waiting for user input in an interactive resource.
+    whether to play the resource or not, while waiting for user input in an interactive resource,
+    or when the user navigates away from the page.
     When a <a href=#media-element>media element</a>'s download has been suspended, the user agent must <a href=#queue-a-task>queue
     a task</a> to set the <code title=dom-media-networkState><a href=#dom-media-networkstate>networkState</a></code> to <code title=dom-media-NETWORK_IDLE><a href=#dom-media-network_idle>NETWORK_IDLE</a></code> and <a href=#fire-a-simple-event>fire a simple event</a> named
     <code title=event-media-suspend><a href=#event-media-suspend>suspend</a></code> at the element. If and when downloading of the
@@ -27674,13 +27676,14 @@ <h5 id=loading-the-media-resource><span class=secno>4.8.10.5 </span>Loading the
 
      <dd>
 
-      <p>The fetching process is aborted by the user, e.g. because the user navigated the browsing
-      context to another page, the user agent must execute the following steps. These steps are not
+      <p>The fetching process is aborted by the user, e.g. because the user 
+      pressed a "stop" button, the user agent must execute the following steps. These steps are not
       followed if the <code title=dom-media-load><a href=#dom-media-load>load()</a></code> method itself is invoked while
       these steps are running, as the steps above handle that particular kind of abort.</p>
 
       <ol><li><p>The user agent should cancel the fetching process.</li>
 
+<!--CLEANUP-->
        <li><p>Set the <code title=dom-media-error><a href=#dom-media-error>error</a></code> attribute to a new
        <code><a href=#mediaerror>MediaError</a></code> object whose <code title=dom-MediaError-code><a href=#dom-mediaerror-code>code</a></code> attribute
        is set to <code title=dom-MediaError-MEDIA_ERR_ABORTED><a href=#dom-mediaerror-media_err_aborted>MEDIA_ERR_ABORTED</a></code>.</li>

index

@@ -248,7 +248,7 @@
 
   <header class=head id=head><p><a class=logo href=http://www.whatwg.org/><img alt=WHATWG height=101 src=/images/logo width=101></a></p>
    <hgroup><h1 class=allcaps>HTML</h1>
-    <h2 class="no-num no-toc">Living Standard &mdash; Last Updated 10 February 2013</h2>
+    <h2 class="no-num no-toc">Living Standard &mdash; Last Updated 12 February 2013</h2>
    </hgroup><dl><dt><strong>Web developer edition:</strong></dt>
     <dd><strong><a href=http://developers.whatwg.org/>http://developers.whatwg.org/</a></strong></dd>
     <dt>Multiple-page version:</dt>
@@ -27371,9 +27371,11 @@ interface <dfn id=htmlaudioelement>HTMLAudioElement</dfn> : <a href=#htmlmediael
     download may also be throttled automatically by the user agent, e.g. to balance the download
     with other connections sharing the same bandwidth.</p>
 
+<!--CLEANUP-->
     <p id=resourceSuspend>User agents may decide to not download more content at any time, e.g.
     after buffering five minutes of a one hour media resource, while waiting for the user to decide
-    whether to play the resource or not, or while waiting for user input in an interactive resource.
+    whether to play the resource or not, while waiting for user input in an interactive resource,
+    or when the user navigates away from the page.
     When a <a href=#media-element>media element</a>'s download has been suspended, the user agent must <a href=#queue-a-task>queue
     a task</a> to set the <code title=dom-media-networkState><a href=#dom-media-networkstate>networkState</a></code> to <code title=dom-media-NETWORK_IDLE><a href=#dom-media-network_idle>NETWORK_IDLE</a></code> and <a href=#fire-a-simple-event>fire a simple event</a> named
     <code title=event-media-suspend><a href=#event-media-suspend>suspend</a></code> at the element. If and when downloading of the
@@ -27674,13 +27676,14 @@ interface <dfn id=htmlaudioelement>HTMLAudioElement</dfn> : <a href=#htmlmediael
 
      <dd>
 
-      <p>The fetching process is aborted by the user, e.g. because the user navigated the browsing
-      context to another page, the user agent must execute the following steps. These steps are not
+      <p>The fetching process is aborted by the user, e.g. because the user 
+      pressed a "stop" button, the user agent must execute the following steps. These steps are not
       followed if the <code title=dom-media-load><a href=#dom-media-load>load()</a></code> method itself is invoked while
       these steps are running, as the steps above handle that particular kind of abort.</p>
 
       <ol><li><p>The user agent should cancel the fetching process.</li>
 
+<!--CLEANUP-->
        <li><p>Set the <code title=dom-media-error><a href=#dom-media-error>error</a></code> attribute to a new
        <code><a href=#mediaerror>MediaError</a></code> object whose <code title=dom-MediaError-code><a href=#dom-mediaerror-code>code</a></code> attribute
        is set to <code title=dom-MediaError-MEDIA_ERR_ABORTED><a href=#dom-mediaerror-media_err_aborted>MEDIA_ERR_ABORTED</a></code>.</li>

source

@@ -29238,9 +29238,11 @@ interface <dfn>HTMLAudioElement</dfn> : <span>HTMLMediaElement</span> {};</pre>
     download may also be throttled automatically by the user agent, e.g. to balance the download
     with other connections sharing the same bandwidth.</p>
 
+<!--CLEANUP-->
     <p id="resourceSuspend">User agents may decide to not download more content at any time, e.g.
     after buffering five minutes of a one hour media resource, while waiting for the user to decide
-    whether to play the resource or not, or while waiting for user input in an interactive resource.
+    whether to play the resource or not, while waiting for user input in an interactive resource,
+    or when the user navigates away from the page.
     When a <span>media element</span>'s download has been suspended, the user agent must <span>queue
     a task</span> to set the <code title="dom-media-networkState">networkState</code> to <code
     title="dom-media-NETWORK_IDLE">NETWORK_IDLE</code> and <span>fire a simple event</span> named
@@ -29602,15 +29604,16 @@ interface <dfn>HTMLAudioElement</dfn> : <span>HTMLMediaElement</span> {};</pre>
 
      <dd>
 
-      <p>The fetching process is aborted by the user, e.g. because the user navigated the browsing
-      context to another page, the user agent must execute the following steps. These steps are not
+      <p>The fetching process is aborted by the user, e.g. because the user 
+      pressed a "stop" button, the user agent must execute the following steps. These steps are not
       followed if the <code title="dom-media-load">load()</code> method itself is invoked while
       these steps are running, as the steps above handle that particular kind of abort.</p>
 
       <ol>
 
        <li><p>The user agent should cancel the fetching process.</p></li>
 
+<!--CLEANUP-->
        <li><p>Set the <code title="dom-media-error">error</code> attribute to a new
        <code>MediaError</code> object whose <code title="dom-MediaError-code">code</code> attribute
        is set to <code title="dom-MediaError-MEDIA_ERR_ABORTED">MEDIA_ERR_ABORTED</code>.</p></li>