[Bug 615028] New: Review Request: php-phpunit-PHP-Timer - PHP Utility class for timing