mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
run-tests: drop hrtime() polyfill (#16677)
This commit is contained in:
parent
836bd22257
commit
cda67fb544
1 changed files with 0 additions and 17 deletions
|
@ -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
|
function verify_config(string $php): void
|
||||||
{
|
{
|
||||||
if (empty($php) || !file_exists($php)) {
|
if (empty($php) || !file_exists($php)) {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue