Issue #2793259: Using include_once / require_once in settings.php leads to unexpected behavior

Encourage the use of require and include instead of require_once and include_once in settings.php.