| 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 7b0a6c86c5caf21a0134c0250117eeacb41612cc..d8cee60db756f40e7059fb24fc766a59c07d423e 100644
|
| --- a/client/dom/generated/src/frog/HTMLParamElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLParamElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLParamElementJS extends HTMLElementJS implements HTMLParamElement native "*HTMLParamElement" {
|
| +class HTMLParamElementJs extends HTMLElementJs implements HTMLParamElement native "*HTMLParamElement" {
|
|
|
| String get name() native "return this.name;";
|
|
|
|
|