Fix deprecation for PHP 8.1

Closes squizlabs#3448
andypost · Oct 12, 2021 · 1a531cf · 1a531cf
1 parent f268ca4
commit 1a531cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Util/Timing.php b/src/Util/Timing.php
@@ -70,7 +70,7 @@ public static function printRunTime($force=false)
                 $time .= ", $secs secs";
             }
         } else if ($time > 1000) {
-            $time = round(($time / 1000), 2).' secs';
+            $time = round(((int) $time / 1000), 2).' secs';
         } else {
             $time = round($time).'ms';
         }