| OLD | NEW |
| 1 | 1 |
| 2 class _HTMLParamElementJs extends _HTMLElementJs implements HTMLParamElement nat
ive "*HTMLParamElement" { | 2 class _HTMLParamElementJs extends _HTMLElementJs implements HTMLParamElement nat
ive "*HTMLParamElement" { |
| 3 | 3 |
| 4 String get name() native "return this.name;"; | 4 String name; |
| 5 | 5 |
| 6 void set name(String value) native "this.name = value;"; | 6 String type; |
| 7 | 7 |
| 8 String get type() native "return this.type;"; | 8 String value; |
| 9 | 9 |
| 10 void set type(String value) native "this.type = value;"; | 10 String valueType; |
| 11 | |
| 12 String get value() native "return this.value;"; | |
| 13 | |
| 14 void set value(String value) native "this.value = value;"; | |
| 15 | |
| 16 String get valueType() native "return this.valueType;"; | |
| 17 | |
| 18 void set valueType(String value) native "this.valueType = value;"; | |
| 19 } | 11 } |
| OLD | NEW |