Issue #2263351 by jcisio: Replace accidentally removed part of default.settings.php.