feat(api): update event interfaces for page leave and infobox reload

Author: takker99

websocket/event.ts

@@ -28,6 +28,7 @@ export interface EmitEventMap {
         | { error: { name: string; message?: string } },
     ) => void,
   ) => void;
+  "page-leave": (req: { projectId: ProjectId, pageId: PageId }) => void;
   cursor: (req: Omit<MoveCursorData, "socketId">) => void;
 }
 
@@ -94,7 +95,7 @@ export interface ListenEventMap {
   "quick-search:commit": (event: QuickSearchCommit) => void;
   "quick-search:replace-link": QuickSearchReplaceLink;
   "infobox:updating": boolean;
-  "infobox:reload": void;
+  "infobox:reload": (event: { updating: boolean }) => void;
   "literal-database:reload": void;
 }
 
@@ -106,15 +107,15 @@ export interface ProjectUpdatesStreamCommit {
   pageId: PageId;
   userId: UserId;
   changes:
-    | (
-      | InsertChange
-      | UpdateChange
-      | DeleteChange
-      | TitleChange
-      | LinksChange
-      | IconsChange
-    )[]
-    | [DeletePageChange];
+  | (
+    | InsertChange
+    | UpdateChange
+    | DeleteChange
+    | TitleChange
+    | LinksChange
+    | IconsChange
+  )[]
+  | [DeletePageChange];
   cursor: null;
   freeze: true;
 }
@@ -125,8 +126,8 @@ export interface CommitNotification extends PageCommit {
 
 export interface QuickSearchCommit extends Omit<CommitNotification, "changes"> {
   changes:
-    | (TitleChange | LinksChange | DescriptionsChange | ImageChange)[]
-    | [DeletePageChange];
+  | (TitleChange | LinksChange | DescriptionsChange | ImageChange)[]
+  | [DeletePageChange];
 }
 
 export interface QuickSearchReplaceLink {