diff --git a/index.html b/index.html index 79a7308..8cce6bb 100644 --- a/index.html +++ b/index.html @@ -317,9 +317,8 @@
- The user agent is responsible for tracking which powerful features each [=global - object/realm=] has the user's [=permission=] to use via the [=environment settings - object=]. + The user agent tracks which powerful features the user has [=permission=] to use + via the [=environment settings object=].
For example, {{MediaDevices/getUserMedia()}} needs to determine which cameras - the user has granted [=ECMAScript/the current realm record=] permission to access. + the user has granted permission to access.
If a {{DOMString}} |name| names one of these features, then |name|'s
This is intentionally vague about the details of the permission UI and how the user
agent infers user intent. User agents should be able to explore lots of UI within
@@ -714,9 +713,7 @@
This is intentionally vague about the details of the permission UI and how the user
agent infers user intent. User agents should be able to explore lots of UI within
@@ -736,15 +733,13 @@
- When the user agent learns that the user no longer intends to grant permission for a
- [=global object/realm=] to use a feature, react to the user revoking
- permission by running these steps:
+ When the user agent learns that the user no longer intends to grant permission to use a
+ feature, react to the user revoking permission by running these steps:
Reacting to users revoking permission
A user agent SHOULD provide a means for the user to review, update, and reset the - [=permission=] [=permission/state=] of [=powerful features=] associated with a realm or - origin. + [=permission=] [=permission/state=] of [=powerful features=] associated with an [=origin=].