| 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;
|
| }
|
|
|