Update dependency information for PHP_Timer