7.3.0 release

INSTALL.md

@@ -25,19 +25,26 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 		<th>Release status</th>
 	</tr>
 	<tr>
-		<th>7.3.x</th>
+		<th>7.4.x</th>
 		<td>7.1 - 7.3+</td>
 		<td>1.31 - 1.32+</td>
 		<td>3.0+</td>
 		<td>Planned Q2 2019</td>
 	</tr>
 	<tr>
-		<th>7.2.x</th>
+		<th>7.3.x</th>
 		<td>7.1 - 7.3</td>
 		<td>1.31 - 1.32</td>
 		<td>3.0+</td>
 		<td><strong>Stable release</strong></td>
 	</tr>
+	<tr>
+		<th>7.2.x</th>
+		<td>7.1 - 7.3</td>
+		<td>1.31 - 1.32</td>
+		<td>3.0+</td>
+		<td>Obsolete release, no support</td>
+	</tr>
 	<tr>
 		<th>7.1.x</th>
 		<td>7.1 - 7.3</td>

RELEASE-NOTES.md

@@ -5,6 +5,9 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 7.3.0
 
+Released on May 27th, 2019.
+
+* Fixed loading of certain Leaflet maps due to JavaScript error
 * Fixed `ajaxquery` result format parameter
 * Removed long broken `pagelinktext` option from KML result format
 

composer.json

@@ -56,7 +56,7 @@
 	},
 	"extra": {
 		"branch-alias": {
-			"dev-master": "7.2.x-dev"
+			"dev-master": "7.x-dev"
 		}
 	},
 	"replace": {

extension.json

@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "7.2.0",
+	"version": "7.3.0",
 
 	"author": [
 		"[https://www.mediawiki.org/wiki/User:Jeroen_De_Dauw Jeroen De Dauw]",