Editing: preferences.php