Index: client/html/generated/html/dartium/WorkerNavigator.dart |
diff --git a/client/html/generated/html/dartium/WorkerNavigator.dart b/client/html/generated/html/dartium/WorkerNavigator.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..825ca2fe4696acce5e317d04ef6cfa0cfdc287e6 |
--- /dev/null |
+++ b/client/html/generated/html/dartium/WorkerNavigator.dart |
@@ -0,0 +1,14 @@ |
+ |
+class _WorkerNavigatorImpl extends _DOMTypeBase implements WorkerNavigator { |
+ _WorkerNavigatorImpl._wrap(ptr) : super._wrap(ptr); |
+ |
+ String get appName() => _wrap(_ptr.appName); |
+ |
+ String get appVersion() => _wrap(_ptr.appVersion); |
+ |
+ bool get onLine() => _wrap(_ptr.onLine); |
+ |
+ String get platform() => _wrap(_ptr.platform); |
+ |
+ String get userAgent() => _wrap(_ptr.userAgent); |
+} |