Make sure a warning is shown when dbsettings.inc.php is missing