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 |
deleted file mode 100644 |
index 756b94053883f929ccb5993e6fdc53af1035eabb..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/frog/Navigator.dart |
+++ /dev/null |
@@ -1,41 +0,0 @@ |
- |
-class _NavigatorImpl implements Navigator native "*Navigator" { |
- |
- final String appCodeName; |
- |
- final String appName; |
- |
- final String appVersion; |
- |
- final bool cookieEnabled; |
- |
- final _GeolocationImpl geolocation; |
- |
- final String language; |
- |
- final _DOMMimeTypeArrayImpl mimeTypes; |
- |
- final bool onLine; |
- |
- final String platform; |
- |
- final _DOMPluginArrayImpl 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; |
- |
- void webkitGetUserMedia(String options, NavigatorUserMediaSuccessCallback successCallback, [NavigatorUserMediaErrorCallback errorCallback = null]) native; |
-} |