| Index: client/dom/generated/src/interface/HTMLParamElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLParamElement.dart b/client/dom/generated/src/interface/HTMLParamElement.dart
|
| index 1d2831c2e328f61953280ea8e0b67a7958cf0aa9..e86aebcba1b9ce200ca34716fa9008d88367616e 100644
|
| --- a/client/dom/generated/src/interface/HTMLParamElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLParamElement.dart
|
| @@ -6,19 +6,11 @@
|
|
|
| interface HTMLParamElement extends HTMLElement {
|
|
|
| - String get name();
|
| + String name;
|
|
|
| - void set name(String value);
|
| + String type;
|
|
|
| - String get type();
|
| + String value;
|
|
|
| - void set type(String value);
|
| -
|
| - String get value();
|
| -
|
| - void set value(String value);
|
| -
|
| - String get valueType();
|
| -
|
| - void set valueType(String value);
|
| + String valueType;
|
| }
|
|
|