1 files changed, 85 insertions, 0 deletions
diff --git a/bin/reevotech/vendor/addwiki/mediawiki-datamodel/src/PageIdentifier.php b/bin/reevotech/vendor/addwiki/mediawiki-datamodel/src/PageIdentifier.php
new file mode 100644
index 00000000..528e3c88
--- /dev/null
+++ b/bin/reevotech/vendor/addwiki/mediawiki-datamodel/src/PageIdentifier.php
@@ -0,0 +1,85 @@
+<?php
+
+namespace Mediawiki\DataModel;
+
+use InvalidArgumentException;
+use JsonSerializable;
+
+class PageIdentifier implements JsonSerializable {
+
+	/**
+	 * @var int|null
+	 */
+	private $id;
+
+	/**
+	 * @var Title|null
+	 */
+	private $title;
+
+	/**
+	 * @param Title|null $title
+	 * @param int|null $id
+	 * @throws InvalidArgumentException
+	 */
+	public function __construct( Title $title = null, $id = null ) {
+		if( !is_int( $id ) && !is_null( $id ) ) {
+			throw new InvalidArgumentException( '$id must be an int' );
+		}
+		$this->title = $title;
+		$this->id = $id;
+	}
+
+	/**
+	 * @return int|null
+	 */
+	public function getId() {
+		return $this->id;
+	}
+
+	/**
+	 * @return Title|null
+	 */
+	public function getTitle() {
+		return $this->title;
+	}
+
+	/**
+	 * Does this object identify a page
+	 * @return bool
+	 */
+	public function identifiesPage() {
+		if( is_null( $this->title ) && is_null( $this->id ) ) {
+			return false;
+		}
+		return true;
+	}
+
+	/**
+	 * @link http://php.net/manual/en/jsonserializable.jsonserialize.php
+	 */
+	public function jsonSerialize() {
+		$array = array();
+		if ( $this->id !== null ) {
+			$array['id'] = $this->id;
+		}
+		if ( $this->title !== null ) {
+			$array['title'] = $this->title->jsonSerialize();
+		}
+		return $array;
+	}
+
+	/**
+	 * @param array $array
+	 *
+	 * @returns self
+	 */
+	public static function jsonDeserialize( $array ) {
+		return new self(
+			isset( $array['title'] ) ? Title::jsonDeserialize( $array['title'] ) : null,
+			isset( $array['id'] ) ? $array['id'] : null
+
+		);
+	}
+}
+ 
+\ No newline at end of file