Fix deprecation for PHP 8.1

Closes #3448

Author: andypost

src/Util/Timing.php

@@ -64,7 +64,7 @@ public static function printRunTime($force=false)
 
         if ($time > 60000) {
             $mins = floor($time / 60000);
-            $secs = round((($time % 60000) / 1000), 2);
+            $secs = round((fmod($time, 60000) / 1000), 2);
             $time = $mins.' mins';
             if ($secs !== 0) {
                 $time .= ", $secs secs";