| OLD | NEW |
| 1 | 1 |
| 2 class _NavigatorJs extends _DOMTypeJs implements Navigator native "*Navigator" { | 2 class _NavigatorJs extends _DOMTypeJs implements Navigator native "*Navigator" { |
| 3 | 3 |
| 4 String get appCodeName() native "return this.appCodeName;"; | 4 final String appCodeName; |
| 5 | 5 |
| 6 String get appName() native "return this.appName;"; | 6 final String appName; |
| 7 | 7 |
| 8 String get appVersion() native "return this.appVersion;"; | 8 final String appVersion; |
| 9 | 9 |
| 10 bool get cookieEnabled() native "return this.cookieEnabled;"; | 10 final bool cookieEnabled; |
| 11 | 11 |
| 12 _GeolocationJs get geolocation() native "return this.geolocation;"; | 12 final _GeolocationJs geolocation; |
| 13 | 13 |
| 14 String get language() native "return this.language;"; | 14 final String language; |
| 15 | 15 |
| 16 _DOMMimeTypeArrayJs get mimeTypes() native "return this.mimeTypes;"; | 16 final _DOMMimeTypeArrayJs mimeTypes; |
| 17 | 17 |
| 18 bool get onLine() native "return this.onLine;"; | 18 final bool onLine; |
| 19 | 19 |
| 20 String get platform() native "return this.platform;"; | 20 final String platform; |
| 21 | 21 |
| 22 _DOMPluginArrayJs get plugins() native "return this.plugins;"; | 22 final _DOMPluginArrayJs plugins; |
| 23 | 23 |
| 24 String get product() native "return this.product;"; | 24 final String product; |
| 25 | 25 |
| 26 String get productSub() native "return this.productSub;"; | 26 final String productSub; |
| 27 | 27 |
| 28 String get userAgent() native "return this.userAgent;"; | 28 final String userAgent; |
| 29 | 29 |
| 30 String get vendor() native "return this.vendor;"; | 30 final String vendor; |
| 31 | 31 |
| 32 String get vendorSub() native "return this.vendorSub;"; | 32 final String vendorSub; |
| 33 | 33 |
| 34 void getStorageUpdates() native; | 34 void getStorageUpdates() native; |
| 35 | 35 |
| 36 bool javaEnabled() native; | 36 bool javaEnabled() native; |
| 37 | 37 |
| 38 void registerProtocolHandler(String scheme, String url, String title) native; | 38 void registerProtocolHandler(String scheme, String url, String title) native; |
| 39 } | 39 } |
| OLD | NEW |