|
@@ 4225-4235 (lines=11) @@
|
| 4222 |
|
$this->stack[0]->appendChild($comment); |
| 4223 |
|
|
| 4224 |
|
/* An end tag with the tag name "html" */ |
| 4225 |
|
} elseif ($token['type'] === HTML5::ENDTAG && $token['name'] === 'html') { |
| 4226 |
|
/* If the parser was originally created in order to handle the |
| 4227 |
|
setting of an element's innerHTML attribute, this is a parse error; |
| 4228 |
|
ignore the token. (The element will be an html element in this |
| 4229 |
|
case.) (innerHTML case) */ |
| 4230 |
|
|
| 4231 |
|
/* Otherwise, switch to the trailing end phase. */ |
| 4232 |
|
$this->phase = self::END_PHASE; |
| 4233 |
|
|
| 4234 |
|
/* Anything else */ |
| 4235 |
|
} else { |
| 4236 |
|
/* Parse error. Set the insertion mode to "in body" and reprocess |
| 4237 |
|
the token. */ |
| 4238 |
|
$this->mode = self::IN_BODY; |
|
@@ 4332-4339 (lines=8) @@
|
| 4329 |
|
$this->insertComment($token['data']); |
| 4330 |
|
|
| 4331 |
|
/* An end tag with the tag name "html" */ |
| 4332 |
|
} elseif ($token['name'] === 'html' && |
| 4333 |
|
$token['type'] === HTML5::ENDTAG |
| 4334 |
|
) { |
| 4335 |
|
/* Switch to the trailing end phase. */ |
| 4336 |
|
$this->phase = self::END_PHASE; |
| 4337 |
|
|
| 4338 |
|
/* A start tag with the tag name "noframes" */ |
| 4339 |
|
} elseif ($token['name'] === 'noframes' && |
| 4340 |
|
$token['type'] === HTML5::STARTTAG |
| 4341 |
|
) { |
| 4342 |
|
/* Process the token as if the insertion mode had been "in body". */ |