From ca4dcb36dd5be0b14a2fafa059ea02ee7e0a0262 Mon Sep 17 00:00:00 2001 From: Ryan Dahl Date: Thu, 23 Jul 2020 10:27:26 -0400 Subject: Rename cli/js2 to cli/rt (#6857) --- cli/js2/40_plugins.js | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 cli/js2/40_plugins.js (limited to 'cli/js2/40_plugins.js') 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); -- cgit v1.2.3