From bf6a632ea7c6c6d7813d9d41369736be1fc2a05d Mon Sep 17 00:00:00 2001 From: Jeroen De Dauw Date: Mon, 27 May 2019 11:07:56 +0200 Subject: [PATCH] 7.3.0 release --- INSTALL.md | 11 +++++++++-- RELEASE-NOTES.md | 3 +++ composer.json | 2 +- extension.json | 2 +- 4 files changed, 14 insertions(+), 4 deletions(-) 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 Release status - 7.3.x + 7.4.x 7.1 - 7.3+ 1.31 - 1.32+ 3.0+ Planned Q2 2019 - 7.2.x + 7.3.x 7.1 - 7.3 1.31 - 1.32 3.0+ Stable release + + 7.2.x + 7.1 - 7.3 + 1.31 - 1.32 + 3.0+ + Obsolete release, no support + 7.1.x 7.1 - 7.3 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]",