From f16bc83e8e946197913fc6fe35d809f6e1c831c2 Mon Sep 17 00:00:00 2001 From: Markus Staab Date: Sat, 2 Nov 2024 10:01:59 +0100 Subject: [PATCH] run-tests: drop hrtime() polyfill --- run-tests.php | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/run-tests.php b/run-tests.php index bd03a7f882a79..9ea2eff6c4f09 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)) {