updates Maps to 7.13.0

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: '&copy; <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 );