Editing: DatabaseSessionHandler.php