Editing: RefreshDatabaseState.php