12.0.0 release

JeroenDeDauw · JeroenDeDauw · commit 958b64d52173 · 2025-08-13T21:54:54.000+02:00
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -5,10 +5,10 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 12.0.0
 
-Not released yet.
+Released on August 13th, 2025.
 
 * Raised the minimum MediaWiki version from 1.35 to 1.40
-* Added compatibility with MediaWiki 1.44
+* Added _partial_ compatibility with MediaWiki 1.44
 * Fixed GeoJSON error by ignoring GeoJSON descriptions that are objects
 * Fixed fatal error when providing an invalid radius for circles
 
diff --git a/extension.json b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "12.0.0-alpha",
+	"version": "12.0.0",
 
 	"author": [
 		"[https://EntropyWins.wtf/mediawiki Jeroen De Dauw]",

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "Maps",`
`3`		`- "version": "12.0.0-alpha",`
	`3`	`+ "version": "12.0.0",`
`4`	`4`
`5`	`5`	`"author": [`
`6`	`6`	`"[https://EntropyWins.wtf/mediawiki Jeroen De Dauw]",`