@@ 4239-4249 (lines=11) @@ | ||
4236 | $this->stack[0]->appendChild($comment); |
|
4237 | ||
4238 | /* An end tag with the tag name "html" */ |
|
4239 | } elseif ($token['type'] === HTML5::ENDTAG && $token['name'] === 'html') { |
|
4240 | /* If the parser was originally created in order to handle the |
|
4241 | setting of an element's innerHTML attribute, this is a parse error; |
|
4242 | ignore the token. (The element will be an html element in this |
|
4243 | case.) (innerHTML case) */ |
|
4244 | ||
4245 | /* Otherwise, switch to the trailing end phase. */ |
|
4246 | $this->phase = self::END_PHASE; |
|
4247 | ||
4248 | /* Anything else */ |
|
4249 | } else { |
|
4250 | /* Parse error. Set the insertion mode to "in body" and reprocess |
|
4251 | the token. */ |
|
4252 | $this->mode = self::IN_BODY; |
|
@@ 4347-4354 (lines=8) @@ | ||
4344 | $this->insertComment($token['data']); |
|
4345 | ||
4346 | /* An end tag with the tag name "html" */ |
|
4347 | } elseif ($token['name'] === 'html' && |
|
4348 | $token['type'] === HTML5::ENDTAG |
|
4349 | ) { |
|
4350 | /* Switch to the trailing end phase. */ |
|
4351 | $this->phase = self::END_PHASE; |
|
4352 | ||
4353 | /* A start tag with the tag name "noframes" */ |
|
4354 | } elseif ($token['name'] === 'noframes' && |
|
4355 | $token['type'] === HTML5::STARTTAG |
|
4356 | ) { |
|
4357 | /* Process the token as if the insertion mode had been "in body". */ |