update leaflet.js 1.0 => 1.3

[nominatim.git] / settings / settings.php

<?php

echo "ERROR: Scripts must be run from build directory.\n";
exit;