Index: client/dom/generated/src/frog/HTMLParamElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLParamElement.dart b/client/dom/generated/src/frog/HTMLParamElement.dart |
index 83f77345756b5ebedbad03b41b476b4bf2169772..7b0a6c86c5caf21a0134c0250117eeacb41612cc 100644 |
--- a/client/dom/generated/src/frog/HTMLParamElement.dart |
+++ b/client/dom/generated/src/frog/HTMLParamElement.dart |
@@ -1,5 +1,5 @@ |
-class HTMLParamElement extends HTMLElement native "*HTMLParamElement" { |
+class HTMLParamElementJS extends HTMLElementJS implements HTMLParamElement native "*HTMLParamElement" { |
String get name() native "return this.name;"; |