Use web standard Permissions API (#3200)

1 files changed, 5 insertions, 4 deletions

diff --git a/std/manual.md b/std/manual.md
index 6da2d0ec2..70ecdc9ac 100644
--- a/std/manual.md
+++ b/std/manual.md
@@ -353,18 +353,19 @@ Sometimes a program may want to revoke previously granted permissions. When a
 program, at a later stage, needs those permissions, it will fail.
 
 ```ts
-const { permissions, revokePermission, open, remove } = Deno;
+const { permissions, open, remove } = Deno;
 
 // lookup a permission
-if (!permissions().write) {
+const status = await permissions.query({ name: "write" });
+if (status.state !== "granted") {
   throw new Error("need write permission");
 }
 
 const log = await open("request.log", "a+");
 
 // revoke some permissions
-revokePermission("read");
-revokePermission("write");
+await permissions.revoke({ name: "read" });
+await permissions.revoke({ name: "write" });
 
 // use the log file
 const encoder = new TextEncoder();