7.10.0 release

Author: JeroenDeDauw

INSTALL.md

@@ -25,21 +25,21 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 		<th>Release status<br>&nbsp;</th>
 	</tr>
 	<tr>
-		<th>7.10.x</th>
+		<th>7.11.x</th>
 		<td>7.1 - 7.4+</td>
 		<td>1.31 - 1.33+</td>
 		<td>3.0 - 3.1</td>
 		<td>Planned Q4 2019</td>
 	</tr>
 	<tr>
-		<th>7.9.x</th>
+		<th>7.10.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.8.x<br>-<br>7.3.x</th>
+		<th>7.9.x<br>-<br>7.3.x</th>
 		<td>7.1 - 7.4</td>
 		<td>1.31 - 1.33</td>
 		<td>3.0 - 3.1</td>

RELEASE-NOTES.md

@@ -5,7 +5,10 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 7.10.0
 
+Released on October 24th, 2019.
+
 * Added dark mode support for Leaflet. Configurable via the new `egMapsLeafletLayersDark` setting (by @vedmaka)
+* Fixed PHP notice on some MediaWiki versions when running maintenance scripts
 
 ## Maps 7.9.0
 

extension.json

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