Index of /mediawiki/extensions/Maps/includes/services/Leaflet

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Leaflet.php2015-01-19 16:53 1.5K 
[ ]Maps_Leaflet.php2015-01-19 16:53 2.0K 
[ ]ext.maps.leaflet.js2015-01-19 16:53 431  
[ ]jquery.leaflet.js2015-01-19 16:53 5.7K 
[DIR]leaflet/2015-01-19 16:53 -  
Apache/2.4.6 (Ubuntu) Server at devwikip.phytec.de Port 80