Forgot generated code for frog dom.

client/dom/generated/src/frog/Navigator.dart

Index: client/dom/generated/src/frog/Navigator.dart
diff --git a/client/dom/generated/src/frog/Navigator.dart b/client/dom/generated/src/frog/Navigator.dart
new file mode 100644
index 0000000000000000000000000000000000000000..dd80c8969a01a0e2e29d7021248e31bbc177ff20
--- /dev/null
+++ b/client/dom/generated/src/frog/Navigator.dart
@@ -0,0 +1,39 @@
+
+class Navigator native "Navigator" {
+
+  String appCodeName;
+
+  String appName;
+
+  String appVersion;
+
+  bool cookieEnabled;
+
+  String language;
+
+  DOMMimeTypeArray mimeTypes;
+
+  bool onLine;
+
+  String platform;
+
+  DOMPluginArray plugins;
+
+  String product;
+
+  String productSub;
+
+  String userAgent;
+
+  String vendor;
+
+  String vendorSub;
+
+  void getStorageUpdates() native;
+
+  bool javaEnabled() native;
+
+  var dartObjectLocalStorage;
+
+  String get typeName() native;
+}