| 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
|
| index 69d108c3b1959b3c0b5eb61dda99d3acc335f6d0..1c1bf41afb9be88fe12eacbc0f4702065c26a059 100644
|
| --- a/client/dom/generated/src/interface/Navigator.dart
|
| +++ b/client/dom/generated/src/interface/Navigator.dart
|
| @@ -14,6 +14,8 @@ interface Navigator {
|
|
|
| bool get cookieEnabled();
|
|
|
| + Geolocation get geolocation();
|
| +
|
| String get language();
|
|
|
| DOMMimeTypeArray get mimeTypes();
|
| @@ -37,4 +39,8 @@ interface Navigator {
|
| void getStorageUpdates();
|
|
|
| bool javaEnabled();
|
| +
|
| + void registerProtocolHandler(String scheme, String url, String title);
|
| +
|
| + void webkitGetUserMedia(String options, NavigatorUserMediaSuccessCallback successCallback, [NavigatorUserMediaErrorCallback errorCallback]);
|
| }
|
|
|