7.5.0 release

INSTALL.md

@@ -25,19 +25,26 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 		<th>Release status<br>&nbsp;</th>
 	</tr>
 	<tr>
-		<th>7.5.x</th>
+		<th>7.6.x</th>
 		<td>7.1 - 7.4+</td>
 		<td>1.31 - 1.33+</td>
 		<td>3.0 - 3.1</td>
-		<td>Planned Q3 2019</td>
+		<td>Planned Q4 2019</td>
 	</tr>
 	<tr>
-		<th>7.4.x</th>
+		<th>7.5.x</th>
 		<td>7.1 - 7.4</td>
 		<td>1.31 - 1.33</td>
 		<td>3.0 - 3.1</td>
 		<td><strong>Stable release</strong></td>
 	</tr>
+	<tr>
+		<th>7.4.x</th>
+		<td>7.1 - 7.4</td>
+		<td>1.31 - 1.33</td>
+		<td>3.0 - 3.1</td>
+		<td>Obsolete release, no support</td>
+	</tr>
 	<tr>
 		<th>7.3.x</th>
 		<td>7.1 - 7.4</td>

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 7.5.0
+
+Released on September 24th, 2019.
+
+* Added visual editing UI to maps in the GeoJson namespace
+
 ## Maps 7.4.1
 
 Released on August 31st, 2019.

extension.json

@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "7.4.1",
+	"version": "7.5.0",
 
 	"author": [
 		"[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",