diff --git a/run-tests.php b/run-tests.php index 0e0fdc2c6a5..1f0126ab0bc 100755 --- a/run-tests.php +++ b/run-tests.php @@ -784,23 +784,6 @@ function main(): void } } -if (!function_exists("hrtime")) { - /** - * @return array|float|int - */ - function hrtime(bool $as_num = false) - { - $t = microtime(true); - - if ($as_num) { - return $t * 1000000000; - } - - $s = floor($t); - return [0 => $s, 1 => ($t - $s) * 1000000000]; - } -} - function verify_config(string $php): void { if (empty($php) || !file_exists($php)) {