Jeroen De Dauw has submitted this change and it was merged. 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/ext.maps.leaflet.js M includes/services/Leaflet/jquery.leaflet.js 5 files changed, 275 insertions(+), 272 deletions(-) Approvals: MathiasLidal: Looks good to me, but someone else must approve Jeroen De Dauw: Verified; Looks good to me, approved jenkins-bot: Checked -- To view, visit https://gerrit.wikimedia.org/r/45660 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I235a2cc5a70ba617a33704e25934fc44b8042308 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Maps Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: MathiasLidal <[email protected]> Gerrit-Reviewer: Netbrain <[email protected]> Gerrit-Reviewer: Nischayn22 <[email protected]> Gerrit-Reviewer: Pastakhov <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
