| Index: client/dom/generated/src/frog/WorkerNavigator.dart
|
| diff --git a/client/dom/generated/src/frog/WorkerNavigator.dart b/client/dom/generated/src/frog/WorkerNavigator.dart
|
| index b887d82c7bcd13beb791d117987d6936e3fd8752..0b2a85125f6eff432b4c7bddbff95093ae39ef1e 100644
|
| --- a/client/dom/generated/src/frog/WorkerNavigator.dart
|
| +++ b/client/dom/generated/src/frog/WorkerNavigator.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class WorkerNavigatorJS implements WorkerNavigator native "*WorkerNavigator" {
|
| +class WorkerNavigatorJs extends DOMTypeJs implements WorkerNavigator native "*WorkerNavigator" {
|
|
|
| String get appName() native "return this.appName;";
|
|
|
| @@ -10,8 +10,4 @@ class WorkerNavigatorJS implements WorkerNavigator native "*WorkerNavigator" {
|
| String get platform() native "return this.platform;";
|
|
|
| String get userAgent() native "return this.userAgent;";
|
| -
|
| - var dartObjectLocalStorage;
|
| -
|
| - String get typeName() native;
|
| }
|
|
|