@@ 1293-1298 (lines=6) @@ | ||
1290 | /* A character token that is one of one of U+0009 CHARACTER TABULATION, |
|
1291 | U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF), |
|
1292 | or U+0020 SPACE */ |
|
1293 | } elseif(isset($token['data']) && preg_match('/^[\t\n\x0b\x0c ]+$/', |
|
1294 | $token['data'])) { |
|
1295 | /* Append that character to the Document node. */ |
|
1296 | $text = $this->dom->createTextNode($token['data']); |
|
1297 | $this->dom->appendChild($text); |
|
1298 | } |
|
1299 | } |
|
1300 | ||
1301 | private function rootElementPhase($token) { |
|
@@ 1319-1331 (lines=13) @@ | ||
1316 | /* A character token that is one of one of U+0009 CHARACTER TABULATION, |
|
1317 | U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF), |
|
1318 | or U+0020 SPACE */ |
|
1319 | } elseif($token['type'] === HTML5::CHARACTR && |
|
1320 | preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) { |
|
1321 | /* Append that character to the Document node. */ |
|
1322 | $text = $this->dom->createTextNode($token['data']); |
|
1323 | $this->dom->appendChild($text); |
|
1324 | ||
1325 | /* A character token that is not one of U+0009 CHARACTER TABULATION, |
|
1326 | U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED |
|
1327 | (FF), or U+0020 SPACE |
|
1328 | A start tag token |
|
1329 | An end tag token |
|
1330 | An end-of-file token */ |
|
1331 | } elseif(($token['type'] === HTML5::CHARACTR && |
|
1332 | !preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) || |
|
1333 | $token['type'] === HTML5::STARTTAG || |
|
1334 | $token['type'] === HTML5::ENDTAG || |