Update settings.php

contributed by João Lopes in #6