core: Add types for Deno.core.print()

[zicklag]

Resolves #15282.

Unfortunately I was unable to run the format script because dprint doesn't work behind my HTTP proxy.

Also, I'm getting an error when I try to run the lint script. It could be related:

dlint
error: Uncaught (in promise) Error: gitLsFiles failed
    throw new Error("gitLsFiles failed");
          ^
    at getFilesFromGit (file:https:///home/zicklag/git/other/deno/tools/util.js:23:11)
    at async getSources (file:https:///home/zicklag/git/other/deno/tools/util.js:87:12)
    at async dlint (file:https:///home/zicklag/git/other/deno/tools/lint.js:16:23)
    at async main (file:https:///home/zicklag/git/other/deno/tools/lint.js:149:5)
    at async file:https:///home/zicklag/git/other/deno/tools/lint.js:155:1

This is a super small change, that should pass both, I think.

[CLAassistant]

All committers have signed the CLA.

[bartlomieju]

Please format the code using tools/format.js

[zicklag]

Once I get the chance, I'll try to find a workaround, but unfortunately dprint doesn't work for me behind my corporate proxy with a custom certificate:

Error resolving plugin https://plugins.dprint.dev/typescript-0.70.0.wasm: Error downloading https://plugins.dprint.dev/typescript-0.70.0.wasm - Error: https://plugins.dprint.dev/typescript-0.70.0.wasm: Connection Failed: tls connection init failed: invalid peer certificate contents: invalid peer certificate: UnknownIssuer
error: Uncaught (in promise) Error: dprint failed
    throw new Error("dprint failed");
          ^
    at dprint (file:https:///home/zicklag/git/other/deno/tools/format.js:14:11)
    at async main (file:https:///home/zicklag/git/other/deno/tools/format.js:20:3)
    at async file:https:///home/zicklag/git/other/deno/tools/format.js:41:1

I might be able to download the plugin through my browser and re-configure dprint to use a local file, but I've got to figure out how to do that.

[bartlomieju]

@zicklag that's okay, I formatted the code for you.

[bartlomieju]

Thanks