diff --git a/package.json b/package.json
index a92d7bac49..2e4a2f8150 100644
--- a/package.json
+++ b/package.json
@@ -97,6 +97,7 @@
     "@types/is-url": "^1.2.32",
     "@types/jquery": "^3.3.31",
     "@types/jquery.validation": "^1.16.7",
+    "@types/js-cookie": "^3.0.6",
     "@types/katex": "^0.16.0",
     "@types/koa": "^2.15.0",
     "@types/lodash": "^4.14.172",
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
index a6443ee3fa..54dcda110b 100644
--- a/pnpm-lock.yaml
+++ b/pnpm-lock.yaml
@@ -305,6 +305,9 @@ importers:
       '@types/jquery.validation':
         specifier: ^1.16.7
         version: 1.16.10
+      '@types/js-cookie':
+        specifier: ^3.0.6
+        version: 3.0.6
       '@types/katex':
         specifier: ^0.16.0
         version: 0.16.7
@@ -1886,6 +1889,9 @@ packages:
   '@types/jquery@3.5.30':
     resolution: {integrity: sha512-nbWKkkyb919DOUxjmRVk8vwtDb0/k8FKncmUKFi+NY+QXqWltooxTrswvz4LspQwxvLdvzBN1TImr6cw3aQx2A==}
 
+  '@types/js-cookie@3.0.6':
+    resolution: {integrity: sha512-wkw9yd1kEXOPnvEeEV1Go1MmxtBJL0RR79aOTAApecWFVu7w0NNXNqhcWgvw2YgZDYadliXkl14pa3WXw5jlCQ==}
+
   '@types/json-schema@7.0.15':
     resolution: {integrity: sha512-5+fP8P8MFNC+AyZCDxrB2pkZFPGzqQWUzpSeuuVLvm8VMcorNYavBqoFcxK8bQz4Qsbn4oUEEem4wDLfcysGHA==}
 
@@ -9207,6 +9213,8 @@ snapshots:
     dependencies:
       '@types/sizzle': 2.3.8
 
+  '@types/js-cookie@3.0.6': {}
+
   '@types/json-schema@7.0.15': {}
 
   '@types/json-stable-stringify@1.0.36': {}
diff --git a/version.py b/version.py
index d4d2dcb8a3..1a3f1b56a2 100644
--- a/version.py
+++ b/version.py
@@ -48,4 +48,4 @@ API_FEATURE_LEVEL = 262
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = (280, 0)  # last bumped 2024-05-31 for upgrading Python requirements
+PROVISION_VERSION = (280, 1)  # last bumped 2024-06-03 for adding @types/js-cookie