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]",