Improve global types

1 files changed, 15 insertions, 3 deletions

diff --git a/js/globals.ts b/js/globals.ts
index b90aa46eb..cd29d34c7 100644
--- a/js/globals.ts
+++ b/js/globals.ts
@@ -9,8 +9,20 @@ import { globalEval } from "./global-eval";
 
 declare global {
   interface Window {
-    console: Console;
     define: Readonly<unknown>;
+
+    clearTimeout: typeof clearTimeout;
+    clearInterval: typeof clearInterval;
+    setTimeout: typeof setTimeout;
+    setInterval: typeof setInterval;
+
+    console: typeof console;
+    window: typeof window;
+
+    fetch: typeof fetch;
+
+    TextEncoder: typeof TextEncoder;
+    TextDecoder: typeof TextDecoder;
   }
 
   const clearTimeout: typeof timers.clearTimer;
@@ -24,8 +36,8 @@ declare global {
   const fetch: typeof fetch_.fetch;
 
   // tslint:disable:variable-name
-  let TextEncoder: typeof textEncoding.TextEncoder;
-  let TextDecoder: typeof textEncoding.TextDecoder;
+  const TextEncoder: typeof textEncoding.TextEncoder;
+  const TextDecoder: typeof textEncoding.TextDecoder;
   // tslint:enable:variable-name
 }