diff options
author | Jack Moffitt <jack@metajack.im> | 2014-08-28 09:34:23 -0600 |
---|---|---|
committer | Jack Moffitt <jack@metajack.im> | 2014-09-08 20:21:42 -0600 |
commit | c6ab60dbfc6da7b4f800c9e40893c8b58413960c (patch) | |
tree | d1d74076cf7fa20e4f77ec7cb82cae98b67362cb /components/script/dom/webidls/Navigator.webidl | |
parent | db2f642c32fc5bed445bb6f2e45b0f6f0b4342cf (diff) | |
download | servo-c6ab60dbfc6da7b4f800c9e40893c8b58413960c.tar.gz servo-c6ab60dbfc6da7b4f800c9e40893c8b58413960c.zip |
Cargoify servo
Diffstat (limited to 'components/script/dom/webidls/Navigator.webidl')
-rw-r--r-- | components/script/dom/webidls/Navigator.webidl | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/components/script/dom/webidls/Navigator.webidl b/components/script/dom/webidls/Navigator.webidl new file mode 100644 index 00000000000..16d96d53470 --- /dev/null +++ b/components/script/dom/webidls/Navigator.webidl @@ -0,0 +1,27 @@ +/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +// http://www.whatwg.org/html/#navigator +interface Navigator { + // objects implementing this interface also implement the interfaces given below +}; +Navigator implements NavigatorID; +//Navigator implements NavigatorLanguage; +//Navigator implements NavigatorOnLine; +//Navigator implements NavigatorContentUtils; +//Navigator implements NavigatorStorageUtils; +//Navigator implements NavigatorPlugins; + +// http://www.whatwg.org/html/#navigatorid +[NoInterfaceObject/*, Exposed=Window,Worker*/] +interface NavigatorID { + readonly attribute DOMString appCodeName; // constant "Mozilla" + readonly attribute DOMString appName; + //readonly attribute DOMString appVersion; + readonly attribute DOMString platform; + readonly attribute DOMString product; // constant "Gecko" + boolean taintEnabled(); // constant false + //readonly attribute DOMString userAgent; +}; |