Wrapperless dart:html generator

client/html/generated/html/frog/Navigator.dart

Index: client/html/generated/html/frog/Navigator.dart
diff --git a/client/html/generated/html/frog/Navigator.dart b/client/html/generated/html/frog/Navigator.dart
new file mode 100644
index 0000000000000000000000000000000000000000..7869788febf39adb29d0663c75f09f4b802d53c0
--- /dev/null
+++ b/client/html/generated/html/frog/Navigator.dart
@@ -0,0 +1,39 @@
+
+class _NavigatorJs implements Navigator native "*Navigator" {
+
+  final String appCodeName;
+
+  final String appName;
+
+  final String appVersion;
+
+  final bool cookieEnabled;
+
+  final _GeolocationJs geolocation;
+
+  final String language;
+
+  final _DOMMimeTypeArrayJs mimeTypes;
+
+  final bool onLine;
+
+  final String platform;
+
+  final _DOMPluginArrayJs plugins;
+
+  final String product;
+
+  final String productSub;
+
+  final String userAgent;
+
+  final String vendor;
+
+  final String vendorSub;
+
+  void getStorageUpdates() native;
+
+  bool javaEnabled() native;
+
+  void registerProtocolHandler(String scheme, String url, String title) native;
+}