Update PHP_Timer dependency