Index: client/dom/generated/src/frog/HTMLIsIndexElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLIsIndexElement.dart b/client/dom/generated/src/frog/HTMLIsIndexElement.dart |
index a2d8918dbdb6c090e75e4187861705f1f195765a..a7b71589e6cfecd7bb3c17ed9f0c0921ccf25006 100644 |
--- a/client/dom/generated/src/frog/HTMLIsIndexElement.dart |
+++ b/client/dom/generated/src/frog/HTMLIsIndexElement.dart |
@@ -1,7 +1,7 @@ |
-class HTMLIsIndexElement extends HTMLInputElement native "*HTMLIsIndexElement" { |
+class HTMLIsIndexElementJS extends HTMLInputElementJS implements HTMLIsIndexElement native "*HTMLIsIndexElement" { |
- HTMLFormElement get form() native "return this.form;"; |
+ HTMLFormElementJS get form() native "return this.form;"; |
String get prompt() native "return this.prompt;"; |