diff options
Diffstat (limited to 'www/wiki/extensions/Maps/resources/leaflet/ext.maps.leaflet.js')
| -rw-r--r-- | www/wiki/extensions/Maps/resources/leaflet/ext.maps.leaflet.js | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/www/wiki/extensions/Maps/resources/leaflet/ext.maps.leaflet.js b/www/wiki/extensions/Maps/resources/leaflet/ext.maps.leaflet.js deleted file mode 100644 index 087d4acf..00000000 --- a/www/wiki/extensions/Maps/resources/leaflet/ext.maps.leaflet.js +++ /dev/null @@ -1,4 +0,0 @@ - -mediaWiki.loader.using( [ 'ext.maps.leaflet' ] ).done( function () { - ( new maps.services( jQuery( document ) ) ).leaflet(); -} );
\ No newline at end of file |