Editing: SessionStorageInterface.php