From ebf28742e1c1c3a2879546af7ea253c187a79bb5 Mon Sep 17 00:00:00 2001 From: Jeroen De Dauw Date: Sat, 15 Dec 2018 03:22:36 +0100 Subject: [PATCH] 7.0.0 release --- INSTALL.md | 19 +++++++++++++------ RELEASE-NOTES.md | 2 +- extension.json | 2 +- 3 files changed, 15 insertions(+), 8 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index 2214d383c..02a6c8e72 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -25,18 +25,25 @@ minimum requirements are indicated in bold. For a detailed list of changes, see Release status - Maps 7.0x + Maps 7.1.x 7.1 - 7.3+ 1.31 - 1.32+ - 3.0+ - Planned December 2018 + 3.0+ + Planned Q1 2019 + + + Maps 7.0.x + 7.1 - 7.3 + 1.31 - 1.32 + 3.0.x + Stable release Maps 6.3.x 7.1 - 7.2 - 1.31 - 1.32+ - 2.4 - 3.0+ - Stable release + 1.31 - 1.32 + 2.4 - 3.0 + Security fixes only Maps 6.2.x diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md index 566987610..850a8bd25 100644 --- a/RELEASE-NOTES.md +++ b/RELEASE-NOTES.md @@ -5,7 +5,7 @@ different releases and which versions of PHP and MediaWiki they support, see the ## Maps 7.0.0 -Under development +Released on December 16th, 2018. * Breaking change: removed OpenLayers service * Breaking change: removed `egMapsDefaultServices['qp']` setting (just use `egMapsDefaultService`) diff --git a/extension.json b/extension.json index 466f9d0a1..354958100 100644 --- a/extension.json +++ b/extension.json @@ -1,6 +1,6 @@ { "name": "Maps", - "version": "7.0.0 alpha", + "version": "7.0.0", "author": [ "[https://www.mediawiki.org/wiki/User:Jeroen_De_Dauw Jeroen De Dauw]",