Jeroen De Dauw has uploaded a new change for review. Change subject: Some cleanup ......................................................................
Some cleanup Change-Id: I235a2cc5a70ba617a33704e25934fc44b8042308 --- M RELEASE-NOTES M includes/services/Leaflet/Leaflet.php M includes/services/Leaflet/Maps_Leaflet.php M includes/services/Leaflet/jquery.leaflet.js 4 files changed, 76 insertions(+), 73 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Maps refs/changes/60/45660/1 -- To view, visit https://gerrit.wikimedia.org/r/45660 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I235a2cc5a70ba617a33704e25934fc44b8042308 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Maps Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
