A PHP class for handling Timers