diff options
Diffstat (limited to 'cli/rt/40_plugins.js')
-rw-r--r-- | cli/rt/40_plugins.js | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/cli/rt/40_plugins.js b/cli/rt/40_plugins.js deleted file mode 100644 index f5aefd400..000000000 --- a/cli/rt/40_plugins.js +++ /dev/null @@ -1,13 +0,0 @@ -// Copyright 2018-2020 the Deno authors. All rights reserved. MIT license. - -((window) => { - const core = window.Deno.core; - - function openPlugin(filename) { - return core.jsonOpSync("op_open_plugin", { filename }); - } - - window.__bootstrap.plugins = { - openPlugin, - }; -})(this); |