diff options
Diffstat (limited to 'dom/webidl/Permissions.webidl')
-rw-r--r-- | dom/webidl/Permissions.webidl | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/dom/webidl/Permissions.webidl b/dom/webidl/Permissions.webidl new file mode 100644 index 000000000..a6c8aba68 --- /dev/null +++ b/dom/webidl/Permissions.webidl @@ -0,0 +1,30 @@ +/* -*- 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, Pref="dom.permissions.revoke.enable"] + Promise<PermissionStatus> revoke(object permission); +}; |