PHP Leaflet maps definition library.