Release Maps 10.1.2

Author: JeroenDeDauw

.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

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>

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.

extension.json

@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "10.1.1",
+	"version": "10.1.2",
 
 	"author": [
 		"[https://EntropyWins.wtf/mediawiki Jeroen De Dauw]",