[g] (2) Just make removal from the document fire .pause().

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

index

@@ -14924,29 +14924,8 @@ The island of Shalott.&lt;/p></pre>
 
   <p>When a <a href="#media5">media element</a> is <span>removed from a
    <code>Document</code><!-- XXX xref removed --></span>, the user agent must
-   run the following steps:
-
-  <ol>
-   <li>
-    <p>If the <a href="#media5">media element</a>'s <code
-     title=dom-media-networkState><a
-     href="#networkstate">networkState</a></code> attribute has the value <a
-     href="#empty" title=dom-media-EMPTY>EMPTY</a>, then abort these steps.
-
-   <li>
-    <p>If the <a href="#media5">media element</a>'s <code
-     title=dom-media-paused><a href="#paused">paused</a></code> attribute is
-     false, it must be set to true.
-
-   <li>
-    <p>If the previous step above changed the value of <code
-     title=dom-media-paused><a href="#paused">paused</a></code>, the user
-     agent must first <a href="#firing2">fire a simple event</a> called <code
-     title=event-timeupdate><a href="#timeupdate">timeupdate</a></code> at
-     the element, and then <a href="#firing2">fire a simple event</a> called
-     <code title=event-pause><a href="#pause1">pause</a></code> at the
-     element.
-  </ol>
+   act as if the <code title=dom-media-pause><a
+   href="#pause0">pause()</a></code> method had been invoked.
 
   <p><a href="#media5" title="media element">Media elements</a> that are <a
    href="#actively">actively playing</a> while not <span>in a

source

@@ -12747,27 +12747,8 @@ The island of Shalott.&lt;/p></pre>
 
   <p>When a <span>media element</span> is <span>removed from a
   <code>Document</code><!-- XXX xref removed --></span>, the user
-  agent must run the following steps:</p>
-
-  <ol>
-
-   <li><p>If the <span>media element</span>'s <code
-   title="dom-media-networkState">networkState</code> attribute has
-   the value <span title="dom-media-EMPTY">EMPTY</span>, then abort
-   these steps.</p></li>
-
-   <li><p>If the <span>media element</span>'s <code
-   title="dom-media-paused">paused</code> attribute is false, it must
-   be set to true.</p></li>
-
-   <li><p>If the previous step above changed the value of <code
-   title="dom-media-paused">paused</code>, the user agent must first
-   <span>fire a simple event</span> called <code
-   title="event-timeupdate">timeupdate</code> at the element, and then
-   <span>fire a simple event</span> called <code
-   title="event-pause">pause</code> at the element.</p></li>
-
-  </ol>
+  agent must act as if the <code
+  title="dom-media-pause">pause()</code> method had been invoked.</p>
 
   <p><span title="media element">Media elements</span> that are
   <span>actively playing</span> while not <span>in a