diff options
| author | Nayeem Rahman <nayeemrmn99@gmail.com> | 2020-12-17 16:37:57 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-17 17:37:57 +0100 |
| commit | ffb5f7a4e1d5d4ac488058ca3ec3c0805587fe44 (patch) | |
| tree | dc7b79a699732680fa309d97e5b4c2bc5f486a4a /runtime/rt/40_plugins.js | |
| parent | 55dc467b419b8e5897b1c832b04d63e383253d84 (diff) | |
refactor: Rename runtime/rt to runtime/js (#8806)
Diffstat (limited to 'runtime/rt/40_plugins.js')
| -rw-r--r-- | runtime/rt/40_plugins.js | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/runtime/rt/40_plugins.js b/runtime/rt/40_plugins.js deleted file mode 100644 index f5aefd400..000000000 --- a/runtime/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); |