Revert "accidentally delete default.settings.php"

This reverts commit 2907b3a792730719681b039151e153859783b7e3.