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 |