On this pageFunction: PauseTimer() PauseTimer(whichTimer): void Defined in: common.j.d.ts:13713 Parameters whichTimer timer timer Returns void nothing See https://lep.duckdns.org/jassbot/doc/PauseTimer