Pastakhov has uploaded a new change for review. https://gerrit.wikimedia.org/r/49202
Change subject: fix Leaflet problem with resource loader ...................................................................... fix Leaflet problem with resource loader Previously, it only works if $wgResourceLoaderDebug = true; Change-Id: I53351fb7a6591ff0861ef0175912cac1761b5bb8 --- M includes/services/Leaflet/Leaflet.php M includes/services/Leaflet/Maps_Leaflet.php D includes/services/Leaflet/leaflet/images/layers.png D includes/services/Leaflet/leaflet/images/marker-icon.png D includes/services/Leaflet/leaflet/images/marker-shadow.png D includes/services/Leaflet/leaflet/images/zoom-in.png D includes/services/Leaflet/leaflet/images/zoom-out.png D includes/services/Leaflet/leaflet/leaflet.css D includes/services/Leaflet/leaflet/leaflet.ie.css D includes/services/Leaflet/leaflet/leaflet.js 10 files changed, 9 insertions(+), 434 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Maps refs/changes/02/49202/1 -- To view, visit https://gerrit.wikimedia.org/r/49202 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I53351fb7a6591ff0861ef0175912cac1761b5bb8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Maps Gerrit-Branch: master Gerrit-Owner: Pastakhov <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
