From ed0eb177b7835c65c048e9dd9c3e79af868c813d 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] Release Maps 10.1.2

---
 .github/workflows/ci.yml | 4 ++--
 INSTALL.md               | 2 +-
 RELEASE-NOTES.md         | 6 ++++++
 extension.json           | 2 +-
 4 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8e693442..6316905e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -23,9 +23,9 @@ jobs:
             php: 8.0
           - mw: 'REL1_39'
             php: 8.1
-          - mw: 'master'
+          - mw: 'REL1_40'
             php: 8.1
-          - mw: 'master'
+          - mw: 'REL1_41'
             php: 8.2
 
     runs-on: ubuntu-latest
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]",