Restore settings.inc.default.php and .gitignore settings.inc.php