Editing: FlashBagAwareSessionInterface.php