diff options
Diffstat (limited to 'www/wiki/extensions/Maps/resources/leaflet/leaflet.editor.js')
| -rw-r--r-- | www/wiki/extensions/Maps/resources/leaflet/leaflet.editor.js | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/www/wiki/extensions/Maps/resources/leaflet/leaflet.editor.js b/www/wiki/extensions/Maps/resources/leaflet/leaflet.editor.js deleted file mode 100644 index 6aadad18..00000000 --- a/www/wiki/extensions/Maps/resources/leaflet/leaflet.editor.js +++ /dev/null @@ -1,15 +0,0 @@ -(function( $, mw ) { - - $( document ).ready( function() { - var map = L.map('GeoJsonMap'/*, {editable: true}*/); - - L.tileLayer('https://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png', { - attribution: '© <a href="https://www.openstreetmap.org/copyright">OpenStreetMap</a> contributors' - }).addTo(map); - - var geoJsonLayer = L.geoJSON(GeoJson).addTo(map); - - map.fitBounds(geoJsonLayer.getBounds()); - } ); - -})( window.jQuery, mediaWiki ); |