Fix: deselect and trigger refresh for deleted documents from bulk operations with "delete originals" (#8996)

src-ui/src/app/data/websocket-documents-deleted-message.ts

@@ -0,0 +1,3 @@
+export interface WebsocketDocumentsDeletedMessage {
+  documents: number[]
+}

src-ui/src/app/data/websocket-progress-message.ts

@@ -1,4 +1,4 @@
-export interface WebsocketConsumerStatusMessage {
+export interface WebsocketProgressMessage {
   filename?: string
   task_id?: string
   current_progress?: number