Release Maps 10.1.2

ProfessionalWiki · Feb 21, 2024 · ed0eb17 · ed0eb17
1 parent 7c6c302
commit ed0eb17
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "10.1.1",
+	"version": "10.1.2",
 
 	"author": [
 		"[https://EntropyWins.wtf/mediawiki Jeroen De Dauw]",