File +Preferences+settings=undefined.php is missing