C.55. $world->listtimer

void $world->listtimer(void);

Briefly lists all defined timers.

void $world->listtimer( number/name , ... );

Lists detailedly the timer with the given number or name. If there are several timers with the same name, lists them all. Several arguments can be passed at once.