Re: [w3c/permissions] WIP: Define a permission store (closes #384) (PR #390)

@johannhof commented on this pull request.



> +        To <dfn class="export">remove a permission store entry</dfn> from the [=global permission store=] given a name, key and descriptor, run these steps:
+        <ol class="algorithm">
+          <li>
+          [=list/Remove=] the [=entry=] with the name |name|, key |key| and descriptor |descriptor| from the [=global permission store=].
+          </li>
+        </ol>
+        </p>
+        <p>
+        A <dfn class="export">permission store key</dfn> is a [=tuple=] of ([=origin=] top-level origin, [=origin=] embedded origin).
+        </p>
+
+        <p>
+        To <dfn class="export">generate a permission store key</dfn> `key` given [=environment settings object=] |settings|, run these steps:
+        <ol class="algorithm">
+          <li>
+            Let |top-level origin| be |settings|' [=environment/top-level origin=].

Yup, good idea, also fixes the highlighting.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/390#discussion_r1026242269
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/permissions/pull/390/review/1185810809@github.com>