| OLD | NEW |
| 1 | 1 |
| 2 class HTMLHtmlElementJs extends HTMLElementJs implements HTMLHtmlElement native
"*HTMLHtmlElement" { | 2 class _HTMLHtmlElementJs extends _HTMLElementJs implements HTMLHtmlElement nativ
e "*HTMLHtmlElement" { |
| 3 | 3 |
| 4 String get manifest() native "return this.manifest;"; | 4 String get manifest() native "return this.manifest;"; |
| 5 | 5 |
| 6 void set manifest(String value) native "this.manifest = value;"; | 6 void set manifest(String value) native "this.manifest = value;"; |
| 7 | 7 |
| 8 String get version() native "return this.version;"; | 8 String get version() native "return this.version;"; |
| 9 | 9 |
| 10 void set version(String value) native "this.version = value;"; | 10 void set version(String value) native "this.version = value;"; |
| 11 } | 11 } |
| OLD | NEW |