mirror of
https://github.com/servo/servo.git
synced 2025-08-12 17:05:33 +01:00
Permission API
This commit is contained in:
parent
e394334739
commit
5ca3ee9474
10 changed files with 449 additions and 3 deletions
|
@ -8,3 +8,10 @@ interface WorkerNavigator {};
|
|||
WorkerNavigator implements NavigatorID;
|
||||
WorkerNavigator implements NavigatorLanguage;
|
||||
//WorkerNavigator implements NavigatorOnLine;
|
||||
|
||||
// https://w3c.github.io/permissions/#navigator-and-workernavigator-extension
|
||||
|
||||
[Exposed=(Worker)]
|
||||
partial interface WorkerNavigator {
|
||||
readonly attribute Permissions permissions;
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue