@@ 1776-1784 (lines=9) @@ | ||
1773 | /* A character token that is one of one of U+0009 CHARACTER TABULATION, |
|
1774 | U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF), |
|
1775 | or U+0020 SPACE */ |
|
1776 | } elseif (isset($token['data']) && preg_match( |
|
1777 | '/^[\t\n\x0b\x0c ]+$/', |
|
1778 | $token['data'] |
|
1779 | ) |
|
1780 | ) { |
|
1781 | /* Append that character to the Document node. */ |
|
1782 | $text = $this->dom->createTextNode($token['data']); |
|
1783 | $this->dom->appendChild($text); |
|
1784 | } |
|
1785 | return null; |
|
1786 | } |
|
1787 | ||
@@ 1807-1820 (lines=14) @@ | ||
1804 | /* A character token that is one of one of U+0009 CHARACTER TABULATION, |
|
1805 | U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF), |
|
1806 | or U+0020 SPACE */ |
|
1807 | } elseif ($token['type'] === HTML5::CHARACTR && |
|
1808 | preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data']) |
|
1809 | ) { |
|
1810 | /* Append that character to the Document node. */ |
|
1811 | $text = $this->dom->createTextNode($token['data']); |
|
1812 | $this->dom->appendChild($text); |
|
1813 | ||
1814 | /* A character token that is not one of U+0009 CHARACTER TABULATION, |
|
1815 | U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED |
|
1816 | (FF), or U+0020 SPACE |
|
1817 | A start tag token |
|
1818 | An end tag token |
|
1819 | An end-of-file token */ |
|
1820 | } elseif (($token['type'] === HTML5::CHARACTR && |
|
1821 | !preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) || |
|
1822 | $token['type'] === HTML5::STARTTAG || |
|
1823 | $token['type'] === HTML5::ENDTAG || |