remove plugins.d.ts

Author: ry

cli_snapshots/BUILD.gn

@@ -56,7 +56,6 @@ ts_sources = [
   "../js/os.ts",
   "../js/performance.ts",
   "../js/permissions.ts",
-  "../js/plugins.d.ts",
   "../js/process.ts",
   "../js/read_dir.ts",
   "../js/read_file.ts",

js/compiler.ts

@@ -1,4 +1,5 @@
 // Copyright 2018-2019 the Deno authors. All rights reserved. MIT license.
+// TODO(ry) Combine this implementation with //deno_typescript/compiler_main.js
 
 /// <reference types="../third_party/node_modules/typescript/lib/typescript.d.ts"/>
 
@@ -35,7 +36,7 @@ enum MediaType {
 const console = new Console(core.print);
 window.console = console;
 window.workerMain = workerMain;
-export default function denoMain(): void {
+function denoMain(): void {
   os.start(true, "TS");
 }
 window["denoMain"] = denoMain;

js/main.ts

@@ -1,8 +1,5 @@
 // Copyright 2018-2019 the Deno authors. All rights reserved. MIT license.
 
-// eslint-disable-next-line @typescript-eslint/no-triple-slash-reference
-/// <reference path="./plugins.d.ts" />
-
 import "./globals.ts";
 
 import { assert, log } from "./util.ts";
@@ -20,7 +17,7 @@ import * as deno from "./deno.ts";
 
 const { console } = window;
 
-export default function denoMain(
+function denoMain(
   preserveDenoNamespace: boolean = true,
   name?: string
 ): void {