Index: client/dom/generated/src/frog/HTMLDetailsElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLDetailsElement.dart b/client/dom/generated/src/frog/HTMLDetailsElement.dart |
index 369d5170c3e304d885f84f7654bbeaac4ea2a23c..0d8bb05c248febee84f2af0886b66d759dbe2f4b 100644 |
--- a/client/dom/generated/src/frog/HTMLDetailsElement.dart |
+++ b/client/dom/generated/src/frog/HTMLDetailsElement.dart |
@@ -1,5 +1,5 @@ |
-class HTMLDetailsElement extends HTMLElement native "*HTMLDetailsElement" { |
+class HTMLDetailsElementJS extends HTMLElementJS implements HTMLDetailsElement native "*HTMLDetailsElement" { |
bool get open() native "return this.open;"; |