From ae460f00f2ea80bc5785b53f5ecfc03d6867d319 Mon Sep 17 00:00:00 2001
From: Jeroen De Dauw <jeroendedauw@gmail.com>
Date: Wed, 21 Feb 2024 16:32:49 +0100
Subject: [PATCH] Reelease Maps 10.1.2

---
 INSTALL.md       | 2 +-
 RELEASE-NOTES.md | 6 ++++++
 extension.json   | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index aba32131..ff1246ea 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -43,7 +43,7 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 		<td>7.4 - 8.2</td>
 		<td>1.35 - 1.39</td>
 		<td>3.2 - 4.0</td>
-		<td>Obsolete release, no support/td>
+		<td>Obsolete release, no support</td>
 	</tr>
 	<tr>
 		<th>9.0.x</th>
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 55db69a0..879b88d9 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -3,6 +3,12 @@ different releases and which versions of PHP and MediaWiki they support, see the
 [platform compatibility tables](INSTALL.md#platform-compatibility-and-release-status).
 
 
+## Maps 10.1.2
+
+Released on February 21st, 2024.
+
+* Fixed PHP 7.4 compatibility issue in the GeoJSON content model's integration with Semantic MediaWiki
+
 ## Maps 10.1.1
 
 Released on December 4th, 2023.
diff --git a/extension.json b/extension.json
index ac58a1fb..3b2009ae 100644
--- a/extension.json
+++ b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "10.1.1",
+	"version": "10.1.2",
 
 	"author": [
 		"[https://EntropyWins.wtf/mediawiki Jeroen De Dauw]",