From 54ab37da2044be8aef9b22616ecc8ab3cec14cbc Mon Sep 17 00:00:00 2001
From: Alex Corrado <chkn@hey.com>
Date: Thu, 18 Jan 2024 00:08:35 +0000
Subject: [PATCH] Move `children` from `HTMLElement` to `Element`

---
 src/Dom/Browser.Dom.fs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Dom/Browser.Dom.fs b/src/Dom/Browser.Dom.fs
index 070d662..3dab4ba 100644
--- a/src/Dom/Browser.Dom.fs
+++ b/src/Dom/Browser.Dom.fs
@@ -426,6 +426,7 @@ type [<AllowNullLiteral; Global>] Element =
     inherit GlobalEventHandlers
     inherit NodeSelector
     inherit ChildNode
+    abstract children: HTMLCollection with get, set
     abstract classList: DOMTokenList with get, set
     abstract clientHeight: float with get, set
     abstract clientLeft: float with get, set
@@ -1394,7 +1395,6 @@ type [<AllowNullLiteral>] HTMLDocumentType =
 type [<AllowNullLiteral; Global>] HTMLElement =
     inherit Element
     abstract accessKey: string with get, set
-    abstract children: HTMLCollection with get, set
     abstract contentEditable: string with get, set
     /// Sets or retrieves the URL that references the data of the object.
     abstract dataset: DOMStringMap with get, set