View GitHub Repository php-debug

Schedule Inspection
Subscribe
Test Setup Failed
Push — master ( 0d8b13...6e50e5 )
by Jan
04:44
created
Status
Category
Toggle Patches
src/Timer.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch 
@@ -435,7 +435,7 @@
 
 block discarded – undo
435 435 
     }
436 436
437 437 
     /**
438 
-     * @param int|float   $number
438 
+     * @param integer   $number
439 439 
      * @param int         $precision
440 440 
      * @param null|string $forceUnit
441 441 
      *
Please login to merge, or discard this patch.