diff --git a/index.html b/index.html index 912720a..600f39e 100644 --- a/index.html +++ b/index.html @@ -98,6 +98,11 @@
Permission Store
- User agents MAY use a form of storage to keep
- track of web site permissions. When they do, they MUST have a
- permission storage identifier which is linked to a permission
- storage entry. The permission storage identifier MUST
- contain the website's origin and MAY contain other information like the
- embedding status or the embedder's origin. The permission storage
+ User agents MAY use a form of storage to keep
+ track of web site permissions. When they do, they MUST have a
+ permission storage identifier which is linked to a
+ permission storage entry. The permission storage
entry MUST be a PermissionState or
+ To get a permission storage identifier for a
+ PermissionName name and an environment settings
+ object settings, the UA MUST return a tuple consisting
+ of:
+
The steps to retrieve a permission storage entry of a
permission storage identifier are as follows:
@@ -452,9 +488,15 @@ undefined
.
+
follows:
permission
.undefined
, return
it and abort these steps.
- When the query()
- method is invoked, the user agent MUST run the following steps:
+ When the query()
+ method is invoked, the user agent MUST run the following
+ query a permission algorithm, passing the
+ parameter permission:
- When the request()
- method is invoked, the user agent MUST run the following steps:
+ When the request()
method is invoked, the user
+ agent MUST run the following request a
+ permission algorithm, passing the parameter
+ permission:
- When the revoke()
- method is invoked, the user agent MUST run the following steps:
+ When the revoke()
+ method is invoked, the user agent MUST run the following
+ revoke a permission algorithm, passing the
+ parameter permission:
permission.name
and the current
+ environment settings object, and let identifier be
+ the result.