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