Leaflet: use config settings for timeformat