function upgradeimport { upgrade } from "https://deno.land/x/pup@1.0.0-rc.12/lib/cli/upgrade.ts"; upgrade(version: string | undefined,channelName: string | undefined,ignoreCertficateErrors: string | undefined,allPermissions?,local?,freshInstall?,): Promise<void>Parametersversion: string | undefinedchannelName: string | undefinedignoreCertficateErrors: string | undefinedoptionalallPermissions = [UNSUPPORTED]optionallocal = [UNSUPPORTED]optionalfreshInstall = [UNSUPPORTED]ReturnsPromise<void>