Generate dart:html bindings for Dartium as well as Frog. All unittests now pass (or are disabled fo…

client/html/generated/html/dartium/Navigator.dart

Index: client/html/generated/html/dartium/Navigator.dart
diff --git a/client/html/generated/html/dartium/Navigator.dart b/client/html/generated/html/dartium/Navigator.dart
new file mode 100644
index 0000000000000000000000000000000000000000..28868135f0342c2b8bb7aecdee16d6309246bdd4
--- /dev/null
+++ b/client/html/generated/html/dartium/Navigator.dart
@@ -0,0 +1,58 @@
+
+class _NavigatorImpl extends _DOMTypeBase implements Navigator {
+  _NavigatorImpl._wrap(ptr) : super._wrap(ptr);
+
+  String get appCodeName() => _wrap(_ptr.appCodeName);
+
+  String get appName() => _wrap(_ptr.appName);
+
+  String get appVersion() => _wrap(_ptr.appVersion);
+
+  bool get cookieEnabled() => _wrap(_ptr.cookieEnabled);
+
+  Geolocation get geolocation() => _wrap(_ptr.geolocation);
+
+  String get language() => _wrap(_ptr.language);
+
+  DOMMimeTypeArray get mimeTypes() => _wrap(_ptr.mimeTypes);
+
+  bool get onLine() => _wrap(_ptr.onLine);
+
+  String get platform() => _wrap(_ptr.platform);
+
+  DOMPluginArray get plugins() => _wrap(_ptr.plugins);
+
+  String get product() => _wrap(_ptr.product);
+
+  String get productSub() => _wrap(_ptr.productSub);
+
+  String get userAgent() => _wrap(_ptr.userAgent);
+
+  String get vendor() => _wrap(_ptr.vendor);
+
+  String get vendorSub() => _wrap(_ptr.vendorSub);
+
+  void getStorageUpdates() {
+    _ptr.getStorageUpdates();
+    return;
+  }
+
+  bool javaEnabled() {
+    return _wrap(_ptr.javaEnabled());
+  }
+
+  void registerProtocolHandler(String scheme, String url, String title) {
+    _ptr.registerProtocolHandler(_unwrap(scheme), _unwrap(url), _unwrap(title));
+    return;
+  }
+
+  void webkitGetUserMedia(String options, NavigatorUserMediaSuccessCallback successCallback, [NavigatorUserMediaErrorCallback errorCallback = null]) {
+    if (errorCallback === null) {
+      _ptr.webkitGetUserMedia(_unwrap(options), _unwrap(successCallback));
+      return;
+    } else {
+      _ptr.webkitGetUserMedia(_unwrap(options), _unwrap(successCallback), _unwrap(errorCallback));
+      return;
+    }
+  }
+}