MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / vendor / wikimedia / remex-html / RemexHtml / TreeBuilder / Marker.php

diff --git a/vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/Marker.php b/vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/Marker.php
new file mode 100644 (file)
index 0000000..80029e5
--- /dev/null
+++ b/vendor/wikimedia/remex-html/RemexHtml/TreeBuilder/Marker.php
@@ -0,0 +1,23 @@
+<?php
+
+namespace RemexHtml\TreeBuilder;
+use RemexHtml\PropGuard;
+
+/**
+ * A pseudo-element used as a marker or bookmark in the list of active formatting elements
+ */
+class Marker implements FormattingElement {
+       public $nextAFE;
+       public $prevAFE;
+       public $nextNoah;
+       public $type;
+
+       public function __construct( $type ) {
+               $this->type = $type;
+       }
+
+       public function __set( $name, $value ) {
+               PropGuard::set( $this, $name, $value );
+       }
+}
+