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