mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-07 21:43:24 +00:00
19251f27ce
`= {}` can now be used to indicate that an optional dictionary should have the default value of 'default-initialized dictionary' Differential Revision: https://phabricator.services.mozilla.com/D36504 --HG-- extra : moz-landing-system : lando
42 lines
1.4 KiB
Plaintext
42 lines
1.4 KiB
Plaintext
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
* You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*
|
|
* The origin of this IDL file is
|
|
* https://w3c.github.io/push-api/
|
|
*/
|
|
|
|
dictionary PushSubscriptionOptionsInit {
|
|
// boolean userVisibleOnly = false;
|
|
(BufferSource or DOMString)? applicationServerKey = null;
|
|
};
|
|
|
|
// The main thread JS implementation. Please see comments in
|
|
// dom/push/PushManager.h for the split between PushManagerImpl and PushManager.
|
|
[JSImplementation="@mozilla.org/push/PushManager;1",
|
|
ChromeOnly, Constructor(DOMString scope)]
|
|
interface PushManagerImpl {
|
|
Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});
|
|
Promise<PushSubscription?> getSubscription();
|
|
Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
|
|
};
|
|
|
|
[Exposed=(Window,Worker), Pref="dom.push.enabled",
|
|
ChromeConstructor(DOMString scope)]
|
|
interface PushManager {
|
|
[Throws, UseCounter]
|
|
Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});
|
|
[Throws]
|
|
Promise<PushSubscription?> getSubscription();
|
|
[Throws]
|
|
Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
|
|
};
|
|
|
|
enum PushPermissionState
|
|
{
|
|
"granted",
|
|
"denied",
|
|
"prompt"
|
|
};
|