B.11. $world->deltimer

void $world->deltimer( number/name );

Deletes the timer identified by the given number or name. If there are several timers with the same name, deletes them all.