Update dependency information for PHP_Timer
Merge pull request #104 from sebastianbergmann/php-timer

Update dependency information for PHP_Timer