File tree 1 file changed +10
-0
lines changed
1 file changed +10
-0
lines changed Original file line number Diff line number Diff line change @@ -14,6 +14,12 @@ type cssStyleSheet
14
14
(* events (early) *)
15
15
type 'a eventTarget_like
16
16
type eventTarget = _baseClass eventTarget_like
17
+ type _messagePort
18
+ type messagePort = _messagePort eventTarget_like
19
+ type _serviceWorker
20
+ type serviceWorker = _serviceWorker eventTarget_like
21
+ type _worker
22
+ type worker = _worker eventTarget_like
17
23
18
24
(* nodes *)
19
25
type 'a _node
@@ -203,6 +209,7 @@ type _htmlVideoElement
203
209
type htmlVideoElement = _htmlVideoElement htmlElement_like
204
210
type location
205
211
type window
212
+ type windowProxy
206
213
type _xmlDocument
207
214
type xmlDocument = _xmlDocument document_like
208
215
@@ -236,6 +243,8 @@ type _inputEvent
236
243
type inputEvent = _inputEvent uiEvent_like
237
244
type _keyboardEvent
238
245
type keyboardEvent = _keyboardEvent uiEvent_like
246
+ type _messageEvent
247
+ type messageEvent = _messageEvent event_like
239
248
type 'a _mouseEvent
240
249
type 'a mouseEvent_like = 'a _mouseEvent uiEvent_like
241
250
type mouseEvent = _baseClass mouseEvent_like
@@ -291,5 +300,6 @@ type svgPoint
291
300
292
301
(* special *)
293
302
type eventPointerId
303
+ type messageChannel
294
304
295
305
module Storage = Dom_storage
You can’t perform that action at this time.
0 commit comments