mirror of
https://github.com/servo/servo
synced 2026-04-26 01:25:32 +02:00
a2213091c4
Implement the WakeLock API Fixes: #41493 --------- Signed-off-by: Kelechi Ebiri <ebiritg@gmail.com>
49 lines
1.1 KiB
Plaintext
49 lines
1.1 KiB
Plaintext
/* 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 https://mozilla.org/MPL/2.0/. */
|
|
|
|
// https://w3c.github.io/permissions/#permissionstatus
|
|
|
|
dictionary PermissionDescriptor {
|
|
required PermissionName name;
|
|
};
|
|
|
|
enum PermissionState {
|
|
"granted",
|
|
"denied",
|
|
"prompt",
|
|
};
|
|
|
|
enum PermissionName {
|
|
"geolocation",
|
|
"notifications",
|
|
"push",
|
|
"midi",
|
|
"camera",
|
|
"microphone",
|
|
"speaker",
|
|
"device-info",
|
|
"background-sync",
|
|
"bluetooth",
|
|
"persistent-storage",
|
|
"screen-wake-lock",
|
|
};
|
|
|
|
[Pref="dom_permissions_enabled", Exposed=(Window,Worker)]
|
|
interface PermissionStatus : EventTarget {
|
|
readonly attribute PermissionState state;
|
|
attribute EventHandler onchange;
|
|
};
|
|
|
|
dictionary PushPermissionDescriptor : PermissionDescriptor {
|
|
boolean userVisibleOnly = false;
|
|
};
|
|
|
|
dictionary MidiPermissionDescriptor : PermissionDescriptor {
|
|
boolean sysex = false;
|
|
};
|
|
|
|
dictionary DevicePermissionDescriptor : PermissionDescriptor {
|
|
DOMString deviceId;
|
|
};
|