Use correct version of PHP_Timer for this branch
Use correct version of PHP_Timer for this branch

PeeHaa/phpunit-mock-objects,JeroenDeDauw/phpunit-mock-objects,Darhazer/phpunit-mock-objects,awhale/phpunit-mock-objects,stefk/phpunit-mock-objects