[html5] r7104 - [e] (0) clarify a parenthetical Fixing https://www.w3.org/Bugs/Public/show_bug.c [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2012-05-15 16:18:36 -0700 (Tue, 15 May 2012)
New Revision: 7104

Modified:
   complete.html
   index
   source
Log:
[e] (0) clarify a parenthetical
Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=15634
Affected topics: HTML Syntax and Parsing

Modified: complete.html
===================================================================
--- complete.html	2012-05-15 21:34:29 UTC (rev 7103)
+++ complete.html	2012-05-15 23:18:36 UTC (rev 7104)
@@ -87603,7 +87603,9 @@
   the last consumed character (i.e. up to the character just before
   the U+003E or EOF character), but with any U+0000 NULL characters
   replaced by U+FFFD REPLACEMENT CHARACTER characters. (If the comment
-  was started by the end of the file (EOF), the token is empty.)</p>
+  was started by the end of the file (EOF), the token is empty.
+  Similarly, the token is empty if it was generated by the string
+  "<code title=""><!></code>".)</p>
 
   <p>Switch to the <a href=#data-state>data state</a>.</p>
 

Modified: index
===================================================================
--- index	2012-05-15 21:34:29 UTC (rev 7103)
+++ index	2012-05-15 23:18:36 UTC (rev 7104)
@@ -87603,7 +87603,9 @@
   the last consumed character (i.e. up to the character just before
   the U+003E or EOF character), but with any U+0000 NULL characters
   replaced by U+FFFD REPLACEMENT CHARACTER characters. (If the comment
-  was started by the end of the file (EOF), the token is empty.)</p>
+  was started by the end of the file (EOF), the token is empty.
+  Similarly, the token is empty if it was generated by the string
+  "<code title=""><!></code>".)</p>
 
   <p>Switch to the <a href=#data-state>data state</a>.</p>
 

Modified: source
===================================================================
--- source	2012-05-15 21:34:29 UTC (rev 7103)
+++ source	2012-05-15 23:18:36 UTC (rev 7104)
@@ -101808,7 +101808,9 @@
   the last consumed character (i.e. up to the character just before
   the U+003E or EOF character), but with any U+0000 NULL characters
   replaced by U+FFFD REPLACEMENT CHARACTER characters. (If the comment
-  was started by the end of the file (EOF), the token is empty.)</p>
+  was started by the end of the file (EOF), the token is empty.
+  Similarly, the token is empty if it was generated by the string
+  "<code title=""><!></code>".)</p>
 
   <p>Switch to the <span>data state</span>.</p>