--- a/media-source/media-source.html Tue Jul 17 14:07:12 2012 -0700
+++ b/media-source/media-source.html Tue Jul 17 14:44:38 2012 -0700
@@ -42,7 +42,7 @@
<div class="head">
<p><a href="http://www.w3.org/"><img src="http://www.w3.org/Icons/w3c_home" alt="W3C" width="72" height="48"></a></p>
<h1>Media Source Extensions</h1>
- <h2>W3C Editor's Draft 02 July 2012</h2>
+ <h2>W3C Editor's Draft 17 July 2012</h2>
<dl>
<dt>Latest published version:</dt>
<dd>Not yet published</dd>
@@ -881,8 +881,12 @@
</tr>
</thead>
<tbody>
+ <tr>
+ <td>17 July 2012</td>
+ <td>Replaced SourceBufferList.remove() with MediaSource.removeSourceBuffer().</td>
+ </tr>
<tr>
- <td>02 July 2012</td>
+ <td><a href="http://dvcs.w3.org/hg/html-media/raw-file/b499a199e427/media-source/media-source.html">02 July 2012</a></td>
<td>Converted to the object-oriented API</td>
</tr>
<tr>
--- a/media-source/media-source.xml Tue Jul 17 14:07:12 2012 -0700
+++ b/media-source/media-source.xml Tue Jul 17 14:44:38 2012 -0700
@@ -41,7 +41,7 @@
<div class="head">
<p><a href="http://www.w3.org/"><img src="http://www.w3.org/Icons/w3c_home" alt="W3C" width="72" height="48" /></a></p>
<h1>Media Source Extensions</h1>
- <h2>W3C Editor's Draft 02 July 2012</h2>
+ <h2>W3C Editor's Draft 17 July 2012</h2>
<dl>
<dt>Latest published version:</dt>
<dd>Not yet published</dd>
@@ -849,8 +849,12 @@
</tr>
</thead>
<tbody>
+ <tr>
+ <td>17 July 2012</td>
+ <td>Replaced SourceBufferList.remove() with MediaSource.removeSourceBuffer().</td>
+ </tr>
<tr>
- <td>02 July 2012</td>
+ <td><a href="http://dvcs.w3.org/hg/html-media/raw-file/b499a199e427/media-source/media-source.html">02 July 2012</a></td>
<td>Converted to the object-oriented API</td>
</tr>
<tr>