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