Push API: Implement and ship PushSubscription.options

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

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // 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;
+};