74     private $EOF;  variable in HTML5
459     const EOF = 5;  define in HTML5
465         $this->EOF = strlen($data);
483         return ($this->char < $this->EOF)
490         if ($s + $l < $this->EOF) {
578         } elseif ($this->char === $this->EOF) {
581             $this->EOF();
594             $this->EOF();
736                         ) || $this->EOF === $this->char)))
787             } elseif ($this->char === $this->EOF) {
829         } elseif ($this->char === $this->EOF) {
880         } elseif ($this->char === $this->EOF) {
935         } elseif ($this->char === $this->EOF) {
987         } elseif ($this->char === $this->EOF) {
1075         } elseif ($this->char === $this->EOF) {
1111         } elseif ($this->char === $this->EOF) {
1208         if ($this->char === $this->EOF) {
1209             $this->char = $this->EOF - 1;
1254         } elseif ($this->char === $this->EOF) {
1281         } elseif ($this->char === $this->EOF) {
1310         } elseif ($this->char === $this->EOF) {
1365         } elseif ($this->char === $this->EOF) {
1404         } elseif ($this->char === $this->EOF) {
1431         } elseif ($this->char === $this->EOF) {
1452         } elseif ($this->char === $this->EOF) {
1566     private function EOF()  function in HTML5
1571                 'type' => self::EOF
1748             $token['type'] === HTML5::EOF ||
1822             $token['type'] === HTML5::EOF
1860         } elseif ($token['type'] === HTML5::EOF) {
4389         } elseif ($token['type'] === HTML5::EOF) {