updates Maps to 7.13.0

1 files changed, 27 insertions, 0 deletions

diff --git a/www/wiki/extensions/Maps/src/Presentation/GeoJsonNewPageUi.php b/www/wiki/extensions/Maps/src/Presentation/GeoJsonNewPageUi.php
new file mode 100644
index 00000000..5de1df71
--- /dev/null
+++ b/www/wiki/extensions/Maps/src/Presentation/GeoJsonNewPageUi.php
@@ -0,0 +1,27 @@
+<?php
+
+namespace Maps\Presentation;
+
+class GeoJsonNewPageUi {
+
+	private $output;
+
+	public function __construct( OutputFacade $output ) {
+		$this->output = $output;
+	}
+
+	public function addToOutput() {
+		$this->output->addModules( 'ext.maps.geojson.new.page' );
+
+		$this->output->addHtml(
+			\Html::element(
+				'button',
+				[
+					'id' => 'maps-geojson-new'
+				],
+				wfMessage( 'maps-geo-json-create-page-button' )->inContentLanguage()->text()
+			)
+		);
+	}
+
+}