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