Semantic MediaWiki and related extensions
Leaflet

This group contains all Leaflet related files of the Maps extension.