Update settings.php

hand-picked from d1d4f2c3402a7e9c71dccd0de46c6e256fb2667a
see #13