| 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;";
|
|
|
|
|