gecko-dev/dom/webidl/Permissions.webidl
Kit Cambridge 3cf5513966 Bug 1266821 - Remove PushPermissionDescriptor from the Permissions API. r=baku
MozReview-Commit-ID: 7BngZ6Lwpfu

--HG--
extra : rebase_source : 844c129d3cbaa016f44f3cc6aaa65d4202ca70e0
extra : histedit_source : b2aee5b9c8d8857ad5385255aab9092e7715d61c
2016-04-22 11:22:42 -07:00

31 lines
852 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/permissions/#permissions-interface
*/
enum PermissionName {
"geolocation",
"notifications",
"push"
// Unsupported: "midi"
};
dictionary PermissionDescriptor {
required PermissionName name;
};
// We don't implement `PushPermissionDescriptor` because we use a background
// message quota instead of `userVisibleOnly`.
[Exposed=(Window)]
interface Permissions {
[Throws]
Promise<PermissionStatus> query(object permission);
[Throws]
Promise<PermissionStatus> revoke(object permission);
};