added leaflet to php server which allows us to switch between map providers (google, bing, OpenStreetMaps)