Push API: Implement and ship PushSubscription.options

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

Index: third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptionsInit.idl
diff --git a/mojo/public/cpp/system/message.cc b/third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptionsInit.idl
similarity index 57%
copy from mojo/public/cpp/system/message.cc
copy to third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptionsInit.idl
index 09d8d46e6dd15407bd123489ab8bdacdfef381c6..720101854ed1653d3621a18d4d5f337656084ae0 100644
--- a/mojo/public/cpp/system/message.cc
+++ b/third_party/WebKit/Source/modules/push_messaging/PushSubscriptionOptionsInit.idl
@@ -2,12 +2,9 @@
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
-#include "mojo/public/cpp/system/message.h"
+// https://w3c.github.io/push-api/#idl-def-PushSubscriptionOptionsInit
 
-namespace mojo {
-
-ScopedMessageHandle::~ScopedMessageHandle() {
-
-}
-
-}  // namespace mojo
+dictionary PushSubscriptionOptionsInit {
+    boolean userVisibleOnly = false;
+    BufferSource? applicationServerKey = null;
+};