|
@@ 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". */ |