From d5ce533e09827e90767f2625d0d42f137f682ed0 Mon Sep 17 00:00:00 2001 From: Tony Fettes Date: Sat, 13 Jul 2024 15:41:42 +0800 Subject: [PATCH] export message event --- src/Webapi/Webapi__Dom.re | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Webapi/Webapi__Dom.re b/src/Webapi/Webapi__Dom.re index 9daa789..f830aeb 100644 --- a/src/Webapi/Webapi__Dom.re +++ b/src/Webapi/Webapi__Dom.re @@ -34,6 +34,7 @@ module Image = Webapi__Dom__Image; module InputEvent = Webapi__Dom__InputEvent; module KeyboardEvent = Webapi__Dom__KeyboardEvent; module Location = Webapi__Dom__Location; +module MessageEvent = Webapi__Dom__MessageEvent; module MouseEvent = Webapi__Dom__MouseEvent; module MutationObserver = Webapi__Dom__MutationObserver; module MutationRecord = Webapi__Dom__MutationRecord;