mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-12 21:05:36 +00:00
a7f75d48d4
--HG-- extra : commitid : FsE5V9w4fej extra : amend_source : 8b44837b765bd319cadc93a53948264dfbd87ecf
31 lines
911 B
Plaintext
31 lines
911 B
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/
|
|
*/
|
|
|
|
interface Principal;
|
|
|
|
enum PushEncryptionKeyName
|
|
{
|
|
"p256dh"
|
|
};
|
|
|
|
[Exposed=(Window,Worker), Func="nsContentUtils::PushEnabled",
|
|
ChromeConstructor(DOMString pushEndpoint, DOMString scope, ArrayBuffer? key)]
|
|
interface PushSubscription
|
|
{
|
|
readonly attribute USVString endpoint;
|
|
ArrayBuffer? getKey(PushEncryptionKeyName name);
|
|
[Throws, UseCounter]
|
|
Promise<boolean> unsubscribe();
|
|
jsonifier;
|
|
|
|
// Used to set the principal from the JS implemented PushManager.
|
|
[Exposed=Window,ChromeOnly]
|
|
void setPrincipal(Principal principal);
|
|
};
|