X-Git-Url: https://scripts.mit.edu/gitweb/autoinstallsdev/mediawiki.git/blobdiff_plain/19e297c21b10b1b8a3acad5e73fc71dcb35db44a..6932310fd58ebef145fa01eb76edf7150284d8ea:/vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/BeforeHead.php

diff --git a/vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/BeforeHead.php b/vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/BeforeHead.php
new file mode 100644
index 00000000..0008c710
--- /dev/null
+++ b/vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/BeforeHead.php
@@ -0,0 +1,60 @@
+<?php
+
+namespace RemexHtml\TreeBuilder;
+use RemexHtml\Tokenizer\Attributes;
+use RemexHtml\Tokenizer\PlainAttributes;
+
+/**
+ * The "before head" insertion mode
+ */
+class BeforeHead extends InsertionMode {
+	public function characters( $text, $start, $length, $sourceStart, $sourceLength ) {
+		// Ignore whitespace
+		list( $part1, $part2 ) = $this->splitInitialMatch(
+			true, "\t\n\f\r ", $text, $start, $length, $sourceStart, $sourceLength );
+		list( $start, $length, $sourceStart, $sourceLength ) = $part2;
+		if ( !$length ) {
+			return;
+		}
+		// Handle non-whitespace
+		$this->builder->headElement = $this->builder->insertElement(
+			'head', new PlainAttributes, false, $sourceStart, 0 );
+		$this->dispatcher->switchMode( Dispatcher::IN_HEAD )
+			->characters( $text, $start, $length, $sourceStart, $sourceLength );
+	}
+
+	public function startTag( $name, Attributes $attrs, $selfClose, $sourceStart, $sourceLength ) {
+		if ( $name === 'html' ) {
+			$this->dispatcher->inBody->startTag( $name, $attrs, $selfClose,
+				$sourceStart, $sourceLength );
+		} elseif ( $name === 'head' ) {
+			$this->builder->headElement = $this->builder->insertElement(
+				$name, $attrs, false, $sourceStart, $sourceLength );
+			$this->dispatcher->switchMode( Dispatcher::IN_HEAD );
+		} else {
+			$this->builder->headElement = $this->builder->insertElement(
+				'head', new PlainAttributes, false, $sourceStart, 0 );
+			$this->dispatcher->switchMode( Dispatcher::IN_HEAD )
+				->startTag( $name, $attrs, $selfClose, $sourceStart, $sourceLength );
+		}
+	}
+
+	public function endTag( $name, $sourceStart, $sourceLength ) {
+		$allowed = [ "head" => true, "body" => true, "html" => true, "br" => true ];
+		if ( !isset( $allowed[$name] ) ) {
+			$this->builder->error( 'end tag not allowed before head', $sourceStart );
+			return;
+		}
+		$this->builder->headElement = $this->builder->insertElement(
+			'head', new PlainAttributes, false, $sourceStart, 0 );
+		$this->dispatcher->switchMode( Dispatcher::IN_HEAD )
+			->endTag( $name, $sourceStart, $sourceLength );
+	}
+
+	public function endDocument( $pos ) {
+		$this->builder->headElement = $this->builder->insertElement(
+			'head', new PlainAttributes, false, $pos, 0 );
+		$this->dispatcher->switchMode( Dispatcher::IN_HEAD )
+			->endDocument( $pos );
+	}
+}