Index: client/dom/generated/src/interface/Navigator.dart |
diff --git a/client/dom/generated/src/interface/Navigator.dart b/client/dom/generated/src/interface/Navigator.dart |
deleted file mode 100644 |
index c7825359439ae9572d9847d27da4ea70f5b8fe28..0000000000000000000000000000000000000000 |
--- a/client/dom/generated/src/interface/Navigator.dart |
+++ /dev/null |
@@ -1,46 +0,0 @@ |
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-// WARNING: Do not edit - generated code. |
- |
-interface Navigator { |
- |
- final String appCodeName; |
- |
- final String appName; |
- |
- final String appVersion; |
- |
- final bool cookieEnabled; |
- |
- final Geolocation geolocation; |
- |
- final String language; |
- |
- final DOMMimeTypeArray mimeTypes; |
- |
- final bool onLine; |
- |
- final String platform; |
- |
- final DOMPluginArray plugins; |
- |
- final String product; |
- |
- final String productSub; |
- |
- final String userAgent; |
- |
- final String vendor; |
- |
- final String vendorSub; |
- |
- void getStorageUpdates(); |
- |
- bool javaEnabled(); |
- |
- void registerProtocolHandler(String scheme, String url, String title); |
- |
- void webkitGetUserMedia(String options, NavigatorUserMediaSuccessCallback successCallback, [NavigatorUserMediaErrorCallback errorCallback]); |
-} |