Skip to content

Commit

Permalink
7.15.5 release
Browse files Browse the repository at this point in the history
  • Loading branch information
JeroenDeDauw committed Jan 3, 2020
1 parent 97bd7c9 commit 297a260
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 1 deletion.
7 changes: 7 additions & 0 deletions RELEASE-NOTES.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,13 @@ 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.15.5

Released on January 3rd, 2020.

* Fixed maps not loading properly on mobile
* Improved reliability of Leaflet resource loading

## Maps 7.15.4

Released on December 28th, 2019.
Expand Down
2 changes: 1 addition & 1 deletion extension.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "Maps",
"version": "7.15.4",
"version": "7.15.5",

"author": [
"[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",
Expand Down

0 comments on commit 297a260

Please sign in to comment.