[Bug 1844336] New: Review Request: php-phpunit-php-timer4 - PHP Utility class for timing