]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blob - vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/AfterAfterFrameset.php
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / vendor / wikimedia / remex-html / RemexHtml / TreeBuilder / AfterAfterFrameset.php
1 <?php
2
3 namespace RemexHtml\TreeBuilder;
4 use RemexHtml\Tokenizer\Attributes;
5
6 /**
7  * The "after after frameset" insertion mode.
8  */
9 class AfterAfterFrameset extends InsertionMode {
10         public function characters( $text, $start, $length, $sourceStart, $sourceLength ) {
11                 $this->handleFramesetWhitespace( true, $text, $start, $length, $sourceStart, $sourceLength );
12         }
13
14         public function startTag( $name, Attributes $attrs, $selfClose, $sourceStart, $sourceLength ) {
15                 $builder = $this->builder;
16                 $stack = $builder->stack;
17                 $dispatcher = $this->dispatcher;
18
19                 switch ( $name ) {
20                 case 'html':
21                         $dispatcher->inBody->startTag( $name, $attrs, $selfClose,
22                                 $sourceStart, $sourceLength );
23                         break;
24
25                 case 'noframes':
26                         $dispatcher->inHead->startTag( $name, $attrs, $selfClose,
27                                 $sourceStart, $sourceLength );
28                         break;
29
30                 default:
31                         $builder->error( "unexpected start tag after after frameset", $sourceStart );
32                 }
33         }
34
35         public function endTag( $name, $sourceStart, $sourceLength ) {
36                 $this->builder->error( "unexpected end tag after after frameset", $sourceStart );
37         }
38
39         public function endDocument( $pos ) {
40                 $this->builder->stopParsing( $pos );
41         }
42
43         public function comment( $text, $sourceStart, $sourceLength ) {
44                 $this->builder->comment( [ TreeBuilder::ROOT, null ], $text, $sourceStart, $sourceLength );
45         }
46 }