Editing: SessionBagInterface.php