MediaWiki:Maps-leaflet-par-resizable/en

Allows making the map resizable by dragging at its lower right corner.