diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md index 0286b0408..0463f1add 100644 --- a/RELEASE-NOTES.md +++ b/RELEASE-NOTES.md @@ -5,6 +5,8 @@ different releases and which versions of PHP and MediaWiki they support, see the ## Maps 7.15.1 +Released on December 23rd, 2019. + * Fixed `geojson` parameter in the Leaflet result format (7.12.0 regression) * Fixed `center` parameter for Leaflet (7.12.0 regression) diff --git a/extension.json b/extension.json index 01c07260b..9c07b1379 100644 --- a/extension.json +++ b/extension.json @@ -1,6 +1,6 @@ { "name": "Maps", - "version": "7.15.0", + "version": "7.15.1", "author": [ "[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",