[Bug 1541334] Review Request: php-phpunit-php-timer2 - PHP Utility class for timing