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