Migrate HTMLIFrameElement (#2330)

Co-authored-by: saschanaz <saschanaz@users.noreply.github.com>

Author: Bashamega

inputfiles/addedTypes.jsonc

@@ -301,20 +301,6 @@
                     }
                 }
             },
-            "HTMLIFrameElement": {
-                "name": "HTMLIFrameElement",
-                "properties": {
-                    "property": {
-                        "referrerPolicy": {
-                            "type": "ReferrerPolicy"
-                        },
-                        "loading": {
-                            "name": "loading",
-                            "overrideType": "\"eager\" | \"lazy\""
-                        }
-                    }
-                }
-            },
             "IDBOpenDBRequest": {
                 "name": "IDBOpenDBRequest",
                 "extends": "IDBRequest<IDBDatabase>"

inputfiles/patches/html.kdl

@@ -9,6 +9,11 @@ interface HTMLTableDataCellElement extends=HTMLTableCellElement exposed=Window d
 interface HTMLTableHeaderCellElement extends=HTMLTableCellElement exposed=Window deprecated="prefer HTMLTableCellElement" noInterfaceObject=#true
 interface HTMLDocument extends=Document exposed=Window
 
+interface HTMLIFrameElement {
+  property referrerPolicy type=ReferrerPolicy
+  property loading overrideType=#""eager" | "lazy""#
+}
+
 interface-mixin MessageEventTarget overrideThis=T typeParameters=T
 
 interface-mixin WindowEventHandlers {