Added int type for parameters for 32bit systems.

jorgsowa · jorgsowa · commit ae56a492eb04 · 2023-12-28T12:47:59.000+01:00
diff --git a/run-tests.php b/run-tests.php
@@ -3174,7 +3174,7 @@ function show_start(int $start_timestamp): void
     echo "TIME START " . date('Y-m-d H:i:s', $start_timestamp) . "\n=====================================================================\n";
 }
 
-function show_end(int $start_timestamp, float $start_time, float $end_time): void
+function show_end(int $start_timestamp, int|float $start_time, int|float $end_time): void
 {
     echo "=====================================================================\nTIME END " . date('Y-m-d H:i:s', $start_timestamp + (int)(($end_time - $start_time)/1e9)) . "\n";
 }

Original file line number	Diff line number	Diff line change
`@@ -3174,7 +3174,7 @@ function show_start(int $start_timestamp): void`
`3174`	`3174`	`echo "TIME START " . date('Y-m-d H:i:s', $start_timestamp) . "\n=====================================================================\n";`
`3175`	`3175`	`}`
`3176`	`3176`
`3177`		`-function show_end(int $start_timestamp, float $start_time, float $end_time): void`
	`3177`	`+function show_end(int $start_timestamp, int\|float $start_time, int\|float $end_time): void`
`3178`	`3178`	`{`
`3179`	`3179`	`echo "=====================================================================\nTIME END " . date('Y-m-d H:i:s', $start_timestamp + (int)(($end_time - $start_time)/1e9)) . "\n";`
`3180`	`3180`	`}`