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