diff options
| author | Elias Sjögreen <eliassjogreen1@gmail.com> | 2021-08-06 23:28:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-06 23:28:10 +0200 |
| commit | 33c8d790c3d358a475c9ba828043e2c19e8d4b37 (patch) | |
| tree | 4ab33b3e5b352d49667d55631c76ee76af2ec5e2 /runtime/js/40_permissions.js | |
| parent | 0d1a522a03c22749e96dab06ca7b3e8b428df701 (diff) | |
feat: ffi to replace plugins (#11152)
This commit removes implementation of "native plugins" and replaces
it with FFI API.
Effectively "Deno.openPlugin" API was replaced with "Deno.dlopen" API.
Diffstat (limited to 'runtime/js/40_permissions.js')
| -rw-r--r-- | runtime/js/40_permissions.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/js/40_permissions.js b/runtime/js/40_permissions.js index c84f8fde8..1b053f938 100644 --- a/runtime/js/40_permissions.js +++ b/runtime/js/40_permissions.js @@ -28,14 +28,14 @@ * @property {PermissionStatus} status */ - /** @type {ReadonlyArray<"read" | "write" | "net" | "env" | "run" | "plugin" | "hrtime">} */ + /** @type {ReadonlyArray<"read" | "write" | "net" | "env" | "run" | "ffi" | "hrtime">} */ const permissionNames = [ "read", "write", "net", "env", "run", - "plugin", + "ffi", "hrtime", ]; |