| 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 a7b71589e6cfecd7bb3c17ed9f0c0921ccf25006..ee050834816c6d90c9cd8e0301a5934e667b2e0d 100644
|
| --- a/client/dom/generated/src/frog/HTMLIsIndexElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLIsIndexElement.dart
|
| @@ -1,7 +1,7 @@
|
|
|
| -class HTMLIsIndexElementJS extends HTMLInputElementJS implements HTMLIsIndexElement native "*HTMLIsIndexElement" {
|
| +class HTMLIsIndexElementJs extends HTMLInputElementJs implements HTMLIsIndexElement native "*HTMLIsIndexElement" {
|
|
|
| - HTMLFormElementJS get form() native "return this.form;";
|
| + HTMLFormElementJs get form() native "return this.form;";
|
|
|
| String get prompt() native "return this.prompt;";
|
|
|
|
|