php-phpunit-PHP-Timer: from github