add WorkerGlobalScopes

Author: tonyfettes

jscomp/others/dom.ml

@@ -20,6 +20,15 @@ type _serviceWorker
 type serviceWorker = _serviceWorker eventTarget_like
 type _worker
 type worker = _worker eventTarget_like
+type 'a _workerGlobalScope
+type 'a workerGlobalScope_like = 'a _workerGlobalScope eventTarget_like
+type workerGlobalScope = _baseClass workerGlobalScope_like
+type _dedicatedWorkerGlobalScope
+type dedicatedWorkerGlobalScope = _dedicatedWorkerGlobalScope workerGlobalScope_like
+type _serviceWorkerGlobalScope
+type serviceWorkerGlobalScope = _serviceWorkerGlobalScope workerGlobalScope_like
+type _sharedWorkerGlobalScope
+type sharedWorkerGlobalScope = _sharedWorkerGlobalScope workerGlobalScope_like
 
 (* nodes *)
 type 'a _node