Revert: Update PHP_Timer dependency