Index: client/dom/generated/src/interface/WorkerNavigator.dart |
diff --git a/client/dom/generated/src/interface/WorkerNavigator.dart b/client/dom/generated/src/interface/WorkerNavigator.dart |
index 603f434a5086b1b4264298a017d8f8dda59c8af5..482e6eefa0e9aa67242430f14658440b52ed51da 100644 |
--- a/client/dom/generated/src/interface/WorkerNavigator.dart |
+++ b/client/dom/generated/src/interface/WorkerNavigator.dart |
@@ -6,13 +6,13 @@ |
interface WorkerNavigator { |
- String get appName(); |
+ final String appName; |
- String get appVersion(); |
+ final String appVersion; |
- bool get onLine(); |
+ final bool onLine; |
- String get platform(); |
+ final String platform; |
- String get userAgent(); |
+ final String userAgent; |
} |