From 5a18fe1fd0bb89157b6390e834411437e70a3d8e Mon Sep 17 00:00:00 2001
From: Thiago Perrotta <tperrotta@chromium.org>
Date: Wed, 22 Nov 2023 11:47:30 +0100
Subject: [PATCH] remove TODOs: move them to #424

---
 index.html | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/index.html b/index.html
index a89e945..b8039c2 100644
--- 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: