Home
last modified time | relevance | path

Searched refs:junit_get_timer (Results 1 – 1 of 1) sorted by relevance

/PHP-8.0/
H A Drun-tests.php3502 $time = $time ?? junit_get_timer($file_name);
3552 function junit_get_timer(string $file_name): float function

Completed in 12 milliseconds