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 /cli/diagnostics.rs | |
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 'cli/diagnostics.rs')
-rw-r--r-- | cli/diagnostics.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/diagnostics.rs b/cli/diagnostics.rs index 18506ccc8..01c096a11 100644 --- a/cli/diagnostics.rs +++ b/cli/diagnostics.rs @@ -54,7 +54,7 @@ const UNSTABLE_DENO_PROPS: &[&str] = &[ "listen", "listenDatagram", "loadavg", - "openPlugin", + "dlopen", "osRelease", "ppid", "resolveDns", |