remove TODOs: move them to #424

w3c · Nov 22, 2023 · 5a18fe1 · 5a18fe1
1 parent c6eaf4c
commit 5a18fe1
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/index.html b/index.html
@@ -1393,12 +1393,6 @@ <h6 id="extension-module-command-permissions-setPermission">
                   </pre>
                 </dd>
              </dl>
-             <p>
-              TODO: Add `user context` to `SetPermissionParameters`.
-             </p>
-             <p>
-              TODO: Add `origin` to `SetPermissionParameters`.
-             </p>
              <div class="algorithm" data-algorithm="remote end steps for permissions.setPermission">
                <p>
                  The [=remote end steps=] with |session| and |command parameters| are: