PHP timer, can cumulate timings