diff --git a/web/src/global.d.ts b/web/src/global.d.ts
index 8635da6d55..b09aaf3377 100644
--- a/web/src/global.d.ts
+++ b/web/src/global.d.ts
@@ -26,7 +26,6 @@ interface JQuery {
     expectOne(): this;
     get_offset_to_window(): DOMRect;
     tab(action?: string): this; // From web/third/bootstrap
-    modal(action?: string): this; // From web/third/bootstrap
 
     // Types for jquery-caret-plugin
     caret(): number;