ui: better disconnect notification

packages/ui-default/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hydrooj/ui-default",
-  "version": "4.18.7",
+  "version": "4.18.8",
   "author": "undefined <i@undefined.moe>",
   "license": "AGPL-3.0",
   "main": "hydro.js",
@@ -15,8 +15,10 @@
     "@blueprintjs/icons": "^3.27.0",
     "@blueprintjs/select": "^3.16.6",
     "@hydrooj/utils": "workspace:*",
+    "@types/jquery": "^3.5.6",
     "@types/json-schema": "^7.0.9",
     "@types/katex": "^0.11.1",
+    "@types/sockjs-client": "^1.5.1",
     "@undefined-moe/monaco-yaml": "^2.5.0",
     "ansi_up": "^5.0.1",
     "autoprefixer": "^9.8.6",