Editing: RoleOrPermissionMiddleware.php