Update settings.php

cherrypick proposed changes of #9