diff options
Diffstat (limited to 'cli/js/permissions.ts')
| -rw-r--r-- | cli/js/permissions.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cli/js/permissions.ts b/cli/js/permissions.ts index c3530e970..e0fb8a84c 100644 --- a/cli/js/permissions.ts +++ b/cli/js/permissions.ts @@ -11,6 +11,7 @@ export type PermissionName = | "net" | "env" | "run" + | "plugin" | "hrtime"; // NOTE: Keep in sync with cli/permissions.rs @@ -31,6 +32,9 @@ interface NetPermissionDescriptor { interface EnvPermissionDescriptor { name: "env"; } +interface PluginPermissionDescriptor { + name: "plugin"; +} interface HrtimePermissionDescriptor { name: "hrtime"; } @@ -40,6 +44,7 @@ type PermissionDescriptor = | ReadWritePermissionDescriptor | NetPermissionDescriptor | EnvPermissionDescriptor + | PluginPermissionDescriptor | HrtimePermissionDescriptor; /** https://w3c.github.io/permissions/#permissionstatus */ |