Another PHP timer class