diff options
Diffstat (limited to 'cli/rt/40_plugins.js')
-rw-r--r-- | cli/rt/40_plugins.js | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/cli/rt/40_plugins.js b/cli/rt/40_plugins.js new file mode 100644 index 000000000..dda28d6b2 --- /dev/null +++ b/cli/rt/40_plugins.js @@ -0,0 +1,13 @@ +// 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); |