correct accidental delete of settings.php file
resolving sync mess with git