[html5] r8507 - [giow] (0) Prevent microtasks from running reentrantly via the parser. Fixing ht [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2014-02-21 15:02:06 -0800 (Fri, 21 Feb 2014)
New Revision: 8507

Modified:
   complete.html
   index
   source
Log:
[giow] (0) Prevent microtasks from running reentrantly via the parser.
Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=24361
Affected topics: HTML Syntax and Parsing

Modified: complete.html
===================================================================
--- complete.html	2014-02-21 22:39:24 UTC (rev 8506)
+++ complete.html	2014-02-21 23:02:06 UTC (rev 8507)
@@ -92311,7 +92311,7 @@
    <dt id=scriptEndTag>An end tag whose tag name is "script"</dt>
    <dd>
 
-    <p><a href=#perform-a-microtask-checkpoint>Perform a microtask checkpoint</a>.</p>
+    <p>If the <a href=#stack-of-script-settings-objects>stack of script settings objects</a> is empty, <a href=#perform-a-microtask-checkpoint>perform a microtask checkpoint</a>.</p>
 
     <p>If the <a href=#stack-of-script-settings-objects>stack of script settings objects</a> is empty, <a href=#provide-a-stable-state>provide a stable state</a>.</p>
 

Modified: index
===================================================================
--- index	2014-02-21 22:39:24 UTC (rev 8506)
+++ index	2014-02-21 23:02:06 UTC (rev 8507)
@@ -92311,7 +92311,7 @@
    <dt id=scriptEndTag>An end tag whose tag name is "script"</dt>
    <dd>
 
-    <p><a href=#perform-a-microtask-checkpoint>Perform a microtask checkpoint</a>.</p>
+    <p>If the <a href=#stack-of-script-settings-objects>stack of script settings objects</a> is empty, <a href=#perform-a-microtask-checkpoint>perform a microtask checkpoint</a>.</p>
 
     <p>If the <a href=#stack-of-script-settings-objects>stack of script settings objects</a> is empty, <a href=#provide-a-stable-state>provide a stable state</a>.</p>
 

Modified: source
===================================================================
--- source	2014-02-21 22:39:24 UTC (rev 8506)
+++ source	2014-02-21 23:02:06 UTC (rev 8507)
@@ -102961,7 +102961,7 @@
    <dt id="scriptEndTag">An end tag whose tag name is "script"</dt>
    <dd>
 
-    <p><span>Perform a microtask checkpoint</span>.</p>
+    <p>If the <span>stack of script settings objects</span> is empty, <span>perform a microtask checkpoint</span>.</p>
 
     <p>If the <span>stack of script settings objects</span> is empty, <span>provide a stable state</span>.</p>