Short URL: http://html5.org/r/7104
| SVN | Bug | Comment | Time (UTC) |
|---|---|---|---|
| 7104 | 15634 | clarify a parenthetical | 2012-05-15 23:18 |
Index: source =================================================================== --- source (revision 7103) +++ source (revision 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>