MediaWiki:Gadget-leaflet.js: Difference between revisions

m
Gau Cho moved page MediaWiki:Gadget-Leaflet.js to MediaWiki:Gadget-leaflet.js without leaving a redirect
(Created page with "→‎@preserve * Leaflet 1.9.4, a JS library for interactive maps. https://leafletjs.com * (c) 2010-2023 Vladimir Agafonkin, (c) 2010-2011 CloudMade: !function(t,e){"object"==typeof exports&&"undefined"!=typeof module?e(exports):"function"==typeof define&&define.amd?define(["exports"],e):e((t="undefined"!=typeof globalThis?globalThis:t||self).leaflet={})}(this,function(t){"use strict";function l(t){for(var e,i,n=1,o=arguments.length;n<o;n++)for(e in i=arguments[n])t[e...")
 
m (Gau Cho moved page MediaWiki:Gadget-Leaflet.js to MediaWiki:Gadget-leaflet.js without leaving a redirect)
(No difference)