mirror of
https://github.com/php/php-src.git
synced 2024-11-23 01:44:06 +08:00
chore: remove unused variable. (#16867)
Co-authored-by: Marcos Marcolin <marcos@ixcsoft.com.br>
This commit is contained in:
parent
7b99da42ee
commit
6bf703ad98
@ -693,7 +693,6 @@ function main(): void
|
|||||||
if ($test_cnt) {
|
if ($test_cnt) {
|
||||||
putenv('NO_INTERACTION=1');
|
putenv('NO_INTERACTION=1');
|
||||||
usort($test_files, "test_sort");
|
usort($test_files, "test_sort");
|
||||||
$start_timestamp = time();
|
|
||||||
$start_time = hrtime(true);
|
$start_time = hrtime(true);
|
||||||
|
|
||||||
echo "Running selected tests.\n";
|
echo "Running selected tests.\n";
|
||||||
|
Loading…
Reference in New Issue
Block a user