added milisceonds to the test time output

Author: jorgsowa

run-tests.php

@@ -708,13 +708,13 @@ function main(): void
     if ($test_cnt) {
         putenv('NO_INTERACTION=1');
         usort($test_files, "test_sort");
-        $start_time = time();
+        $start_time = microtime(true);
 
         echo "Running selected tests.\n";
 
         $test_idx = 0;
         run_all_tests($test_files, $environment);
-        $end_time = time();
+        $end_time = microtime(true);
 
         if ($failed_tests_file) {
             fclose($failed_tests_file);
@@ -762,13 +762,13 @@ function main(): void
         $test_files = array_unique($test_files);
         usort($test_files, "test_sort");
 
-        $start_time = time();
+        $start_time = microtime(true);
         show_start($start_time);
 
         $test_cnt = count($test_files);
         $test_idx = 0;
         run_all_tests($test_files, $environment);
-        $end_time = time();
+        $end_time = microtime(true);
 
         if ($failed_tests_file) {
             fclose($failed_tests_file);
@@ -3117,7 +3117,7 @@ function get_summary(bool $show_ext_summary): string
     $summary .= '
 Tests passed    : ' . sprintf('%5d (%5.1f%%)', $sum_results['PASSED'], $percent_results['PASSED']) . ' ' . sprintf('(%5.1f%%)', $x_passed) . '
 ---------------------------------------------------------------------
-Time taken      : ' . sprintf('%5d seconds', $end_time - $start_time) . '
+Time taken      : ' . sprintf('%5.3f seconds', $end_time - $start_time) . '
 =====================================================================
 ';
     $failed_test_summary = '';