Index: client/dom/generated/src/interface/Navigator.dart |
diff --git a/client/dom/generated/src/interface/Navigator.dart b/client/dom/generated/src/interface/Navigator.dart |
index df7a3c2bfe17ab1b403118d8d3260cf5a787a54c..ae21ab914b4686b02689aaf4642742c2181eafbf 100644 |
--- a/client/dom/generated/src/interface/Navigator.dart |
+++ b/client/dom/generated/src/interface/Navigator.dart |
@@ -6,35 +6,35 @@ |
interface Navigator { |
- String get appCodeName(); |
+ final String appCodeName; |
- String get appName(); |
+ final String appName; |
- String get appVersion(); |
+ final String appVersion; |
- bool get cookieEnabled(); |
+ final bool cookieEnabled; |
- Geolocation get geolocation(); |
+ final Geolocation geolocation; |
- String get language(); |
+ final String language; |
- DOMMimeTypeArray get mimeTypes(); |
+ final DOMMimeTypeArray mimeTypes; |
- bool get onLine(); |
+ final bool onLine; |
- String get platform(); |
+ final String platform; |
- DOMPluginArray get plugins(); |
+ final DOMPluginArray plugins; |
- String get product(); |
+ final String product; |
- String get productSub(); |
+ final String productSub; |
- String get userAgent(); |
+ final String userAgent; |
- String get vendor(); |
+ final String vendor; |
- String get vendorSub(); |
+ final String vendorSub; |
void getStorageUpdates(); |