Push API: Implement and ship PushSubscription.options

third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptions.idl

Index: third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptions.idl
diff --git a/third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptions.idl b/third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptions.idl
index e4ee9b8108955c09827a3cbe1202e27a89e5a925..86fd2e3a0eafe8e1feaada3c15c157cd11c3ff53 100644
--- a/third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptions.idl
+++ b/third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptions.idl
@@ -4,7 +4,11 @@
 
 // https://w3c.github.io/push-api/#idl-def-PushSubscriptionOptions
 
-dictionary PushSubscriptionOptions {
-    boolean userVisibleOnly = false;
-    BufferSource applicationServerKey;
+[
+    Exposed=(Window,ServiceWorker),
+    RuntimeEnabled=PushMessaging,
+] interface PushSubscriptionOptions {
+    readonly attribute boolean userVisibleOnly;
+    // Mutable by web developer. See https://github.com/w3c/push-api/issues/198.

[Peter Beverloo, 2016/07/08 18:30:12]

Please move this to the source code, IDL is not the right place for these docs.
(Ideally it would be copy/paste from the spec.)

[johnme, 2016/07/13 17:51:57]

Done.

+    [SameObject] readonly attribute ArrayBuffer? applicationServerKey;
 };