Index: client/html/generated/html/interface/WorkerNavigator.dart |
diff --git a/client/dom/templates/interface.darttemplate b/client/html/generated/html/interface/WorkerNavigator.dart |
similarity index 62% |
copy from client/dom/templates/interface.darttemplate |
copy to client/html/generated/html/interface/WorkerNavigator.dart |
index 4e092a52e6f8755ebae6d8b72e5ccd9873a6dca2..f5fcf2009c24381d958daffbdba50166420c7bc4 100644 |
--- a/client/dom/templates/interface.darttemplate |
+++ b/client/html/generated/html/interface/WorkerNavigator.dart |
@@ -4,5 +4,15 @@ |
// WARNING: Do not edit - generated code. |
-interface $ID$!EXTENDS { |
-$!MEMBERS} |
+interface WorkerNavigator { |
+ |
+ final String appName; |
+ |
+ final String appVersion; |
+ |
+ final bool onLine; |
+ |
+ final String platform; |
+ |
+ final String userAgent; |
+} |