Editing: FinishRequestEvent.php