✏️ Editing: ServerExceptionInterface.php