diff --git a/INSTALL.md b/INSTALL.md
index 83bf538de..265e0ff36 100644
--- a/INSTALL.md
+++ b/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>
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 41d47089f..837d53bc8 100644
--- a/RELEASE-NOTES.md
+++ b/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
 
diff --git a/composer.json b/composer.json
index 36e6ad613..0ff123649 100644
--- a/composer.json
+++ b/composer.json
@@ -56,7 +56,7 @@
 	},
 	"extra": {
 		"branch-alias": {
-			"dev-master": "7.2.x-dev"
+			"dev-master": "7.x-dev"
 		}
 	},
 	"replace": {
diff --git a/extension.json b/extension.json
index 36282d06f..92fd8a473 100644
--- a/extension.json
+++ b/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]",