Index: Source/core/page/Navigator.idl |
diff --git a/Source/core/page/Navigator.idl b/Source/core/page/Navigator.idl |
index 6d23efd4bdf7e1aac92e98be80f7773c0ce20c4e..79f322d89f4804ae2c076cb5d5e6e72de0516659 100644 |
--- a/Source/core/page/Navigator.idl |
+++ b/Source/core/page/Navigator.idl |
@@ -23,13 +23,15 @@ interface Navigator { |
readonly attribute PluginArray plugins; |
readonly attribute MimeTypeArray mimeTypes; |
readonly attribute DOMString product; |
- readonly attribute DOMString productSub; |
- readonly attribute DOMString vendor; |
- readonly attribute DOMString vendorSub; |
readonly attribute boolean cookieEnabled; |
boolean javaEnabled(); |
void getStorageUpdates(); // FIXME: Remove this method or rename to yieldForStorageUpdates. |
+ |
+ // Non-standard. |
+ [MeasureAs=NavigatorProductSub] readonly attribute DOMString productSub; |
+ [MeasureAs=NavigatorVendor] readonly attribute DOMString vendor; |
+ [MeasureAs=NavigatorVendorSub] readonly attribute DOMString vendorSub; |
}; |
Navigator implements NavigatorID; |