Release 9.0.0

JeroenDeDauw · JeroenDeDauw · commit 311dfaf61766 · 2021-07-30T14:07:45.000+02:00
diff --git a/INSTALL.md b/INSTALL.md
@@ -29,7 +29,7 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 		<td><strong>7.4</strong> - 8.0+</td>
 		<td>1.35 - 1.36+</td>
 		<td>3.2 - 4.0</td>
-		<td>Under development</td>
+		<td><strong>Stable release</strong></td>
 	</tr>
 	<tr>
 		<th>8.0.x</th>
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -5,7 +5,7 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 9.0.0
 
-Under development
+Released on July 30th, 2021.
 
 * Dropped support for PHP 7.3
 * Added support for MediaWiki 1.36
diff --git a/extension.json b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "9.0.0-alpha",
+	"version": "9.0.0",
 
 	"author": [
 		"[https://www.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": "9.0.0-alpha",`
	`3`	`+ "version": "9.0.0",`
`4`	`4`
`5`	`5`	`"author": [`
`6`	`6`	`"[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",`