✏️ Editing: SessionTokenStorage.php