Installation FAQ entry about a PHP warning that started with PHP7.2 [SKIP CI]

[nominatim.git] / settings / settings.php

<?php

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