From c8205b89c5bf2009808ca72a5c6a34b58e265c40 Mon Sep 17 00:00:00 2001
From: Jorge Rinaldi <jrg.rinaldi@gmail.com>
Date: Thu, 29 May 2025 10:41:03 +0200
Subject: [PATCH] onTimeUpdate added

---
 src/DOM/HTML/Indexed.purs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/DOM/HTML/Indexed.purs b/src/DOM/HTML/Indexed.purs
index f40b4d2..66f49c7 100644
--- a/src/DOM/HTML/Indexed.purs
+++ b/src/DOM/HTML/Indexed.purs
@@ -642,6 +642,7 @@ type HTMLvideo = Interactive
   , width :: CSSPixel
   , type :: MediaType
   , onError :: Event
+  , onTimeUpdate :: Event
   )
 
 type HTMLwbr = Interactive ()