| 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 6ee14cdf3c6088eb6e58be76d7d86d8697ed26ef..11b540f57ed23f7e326045112d61313db685ace0 100644
|
| --- a/client/dom/generated/src/frog/HTMLParamElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLParamElement.dart
|
| @@ -1,19 +1,11 @@
|
|
|
| class _HTMLParamElementJs extends _HTMLElementJs implements HTMLParamElement native "*HTMLParamElement" {
|
|
|
| - String get name() native "return this.name;";
|
| + String name;
|
|
|
| - void set name(String value) native "this.name = value;";
|
| + String type;
|
|
|
| - String get type() native "return this.type;";
|
| + String value;
|
|
|
| - void set type(String value) native "this.type = value;";
|
| -
|
| - String get value() native "return this.value;";
|
| -
|
| - void set value(String value) native "this.value = value;";
|
| -
|
| - String get valueType() native "return this.valueType;";
|
| -
|
| - void set valueType(String value) native "this.valueType = value;";
|
| + String valueType;
|
| }
|
|
|