Merge branch '3448-deprecation-8.1' of https://github.com/andypost/PHP_CodeSniffer

Author: gsherwood

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";