[
GenerateIsReachable=ImplFrame,
] interface Navigator {
[Nondeterministic] readonly attribute DOMString appCodeName;
[Nondeterministic] readonly attribute DOMString appName;
[Nondeterministic] readonly attribute DOMString appVersion;
[Nondeterministic] readonly attribute DOMString language;
[Nondeterministic] readonly attribute DOMString userAgent;
[Nondeterministic] readonly attribute DOMString platform;
readonly attribute DOMPluginArray plugins;
readonly attribute DOMMimeTypeArray mimeTypes;
[Nondeterministic] readonly attribute DOMString product;
[Nondeterministic] readonly attribute DOMString productSub;
[Nondeterministic] readonly attribute DOMString vendor;
[Nondeterministic] readonly attribute DOMString vendorSub;
[Nondeterministic] readonly attribute boolean cookieEnabled;
[Nondeterministic] boolean javaEnabled();
readonly attribute boolean onLine;
#