language-servers/deno
1
0
Fork 0
mirror of https://github.com/denoland/deno.git synced 2025-08-02 18:12:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

feat: ffi to replace plugins (#11152)

Browse source 
This commit removes implementation of "native plugins" and replaces
it with FFI API.

Effectively "Deno.openPlugin" API was replaced with "Deno.dlopen" API.
This commit is contained in:
Elias Sjögreen 2021-08-06 23:28:10 +02:00 • committed by GitHub
parent 0d1a522a03
commit 33c8d790c3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
44 changed files with 860 additions and 511 deletions
Download patch file Download diff file Expand all files Collapse all files

4
runtime/js/40_permissions.js
View file

@ -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",
];