Update PHP_Timer usage