mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-12 14:37:50 +00:00
19 lines
600 B
Plaintext
19 lines
600 B
Plaintext
interface Navigator {
|
|
/* IID: { 0xa6cf906e, 0x15b3, 0x11d2, \
|
|
{ 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */
|
|
|
|
readonly attribute DOMString appCodeName;
|
|
readonly attribute DOMString appName;
|
|
readonly attribute DOMString appVersion;
|
|
readonly attribute DOMString language;
|
|
readonly attribute MimeTypeArray mimeTypes;
|
|
readonly attribute DOMString platform;
|
|
readonly attribute PluginArray plugins;
|
|
readonly attribute DOMString securityPolicy;
|
|
readonly attribute DOMString userAgent;
|
|
|
|
boolean javaEnabled();
|
|
boolean taintEnabled();
|
|
jsval preference(/* ... */);
|
|
};
|