diff --git a/index.html b/index.html index 4d69ecd..6ac6944 100644 --- a/index.html +++ b/index.html @@ -183,7 +183,7 @@ .mdn .samsunginternet_android::before{background-image:url(https://www.w3.org/assets/logos/browser-logos/samsung-internet/samsung-internet.svg)} .mdn .webview_android::before{background-image:url(https://www.w3.org/assets/logos/browser-logos/android-webview/android-webview.png)} - + @@ -1939,14 +1939,15 @@

Permissions

To set a permission given a PermissionDescriptor - descriptor, a PermissionState state, and an - optional origin: + descriptor, a PermissionState state, an + optional origin, and an optional user agent:

  1. Let target origin be current settings object's origin if origin is null, or origin otherwise.
  2. Let targets be a list containing all environment settings objects whose - origin is same origin with target origin. + origin is same origin with target origin, and which + belong to the user agent if provided, or all user agents otherwise.
  3. Let tasks be an empty list.
  4. @@ -2128,6 +2129,7 @@

    Permissions

    @@ -2150,6 +2152,9 @@

    Permissions

  5. Let state be the value of the state field of command parameters.
  6. +
  7. Let user context id be the value of the userContext field of command + parameters, if present, and default otherwise. +
  8. If state is an inappropriate permission state for any implementation-defined reason, return error with error code invalid argument.
  9. @@ -2159,7 +2164,11 @@

    Permissions

  10. Let origin be the value of the origin field of command parameters.
  11. -
  12. Set a permission with typedDescriptor, state, and origin. +
  13. Let user agent be the user agent that represents the user context + with the id user context id. +
  14. +
  15. Set a permission with typedDescriptor, state, origin, and user + agent.
  16. Return success with data null.