From 7cfb32795c40eb189435f7e015484263b34a4da9 Mon Sep 17 00:00:00 2001 From: Jeroen De Dauw Date: Tue, 24 Sep 2019 02:09:50 +0200 Subject: [PATCH] 7.5.0 release --- INSTALL.md | 13 ++++++++++--- RELEASE-NOTES.md | 6 ++++++ extension.json | 2 +- 3 files changed, 17 insertions(+), 4 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index e715fabb3..7c89e4b7b 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.5.x + 7.6.x 7.1 - 7.4+ 1.31 - 1.33+ 3.0 - 3.1 - Planned Q3 2019 + Planned Q4 2019 - 7.4.x + 7.5.x 7.1 - 7.4 1.31 - 1.33 3.0 - 3.1 Stable release + + 7.4.x + 7.1 - 7.4 + 1.31 - 1.33 + 3.0 - 3.1 + Obsolete release, no support + 7.3.x 7.1 - 7.4 diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md index 9c5b4d9fc..1b2090cc1 100644 --- a/RELEASE-NOTES.md +++ b/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. diff --git a/extension.json b/extension.json index 1082849ad..1121e9d05 100644 --- a/extension.json +++ b/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]",