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