function stopimport { stop } from "https://deno.land/x/discordeno_patched@18.0.3/gateway/manager/stop.ts"; stop(gateway: GatewayManager,code: number,reason: string,)Parametersgateway: GatewayManagercode: numberreason: string