Home
last modified time | relevance | path

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

/PHP-8.0/
H A Drun-tests.php2220 junit_start_timer($shortname);
2523 junit_start_timer($shortname);
3566 function junit_start_timer(string $file_name): void function

Completed in 13 milliseconds