Index: client/dom/generated/src/frog/HTMLHtmlElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLHtmlElement.dart b/client/dom/generated/src/frog/HTMLHtmlElement.dart |
index 05a534a3bb7a80920263df2ca7467d5780013416..fa70052329039ec63ca0857df61c70fe53c713fd 100644 |
--- a/client/dom/generated/src/frog/HTMLHtmlElement.dart |
+++ b/client/dom/generated/src/frog/HTMLHtmlElement.dart |
@@ -1,5 +1,5 @@ |
-class HTMLHtmlElement extends HTMLElement native "*HTMLHtmlElement" { |
+class HTMLHtmlElementJS extends HTMLElementJS implements HTMLHtmlElement native "*HTMLHtmlElement" { |
String get manifest() native "return this.manifest;"; |