[html5] r7147 - [e] (0) remove redundant old text Affected topics: Web Workers

[whatwg at whatwg.org]

Author: ianh
Date: 2012-06-26 13:18:07 -0700 (Tue, 26 Jun 2012)
New Revision: 7147

Modified:
   complete.html
   index
   source
Log:
[e] (0) remove redundant old text
Affected topics: Web Workers

Modified: complete.html
===================================================================
--- complete.html	2012-06-26 19:58:43 UTC (rev 7146)
+++ complete.html	2012-06-26 20:18:07 UTC (rev 7147)
@@ -80446,8 +80446,7 @@
    <li>
 
     <p>Empty the <var title="">worker global scope</var>'s <a href=#list-of-active-timers>list
-    of active timers</a> and its <span>list of active
-    intervals</span>.</p>
+    of active timers</a>.</p>
 
    </li>
 

Modified: index
===================================================================
--- index	2012-06-26 19:58:43 UTC (rev 7146)
+++ index	2012-06-26 20:18:07 UTC (rev 7147)
@@ -80446,8 +80446,7 @@
    <li>
 
     <p>Empty the <var title="">worker global scope</var>'s <a href=#list-of-active-timers>list
-    of active timers</a> and its <span>list of active
-    intervals</span>.</p>
+    of active timers</a>.</p>
 
    </li>
 

Modified: source
===================================================================
--- source	2012-06-26 19:58:43 UTC (rev 7146)
+++ source	2012-06-26 20:18:07 UTC (rev 7147)
@@ -93442,8 +93442,7 @@
    <li>
 
     <p>Empty the <var title="">worker global scope</var>'s <span>list
-    of active timers</span> and its <span>list of active
-    intervals</span>.</p>
+    of active timers</span>.</p>
 
    </li>