Completed
Push — master ( b5ea1e...13004a )
by Scott
02:00
created
lib/random_int.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -184,6 +184,6 @@
 block discarded – undo
184 184
              */
185 185
         } while (!is_int($val) || $val > $max || $val < $min);
186 186
 
187
-        return (int)$val;
187
+        return (int) $val;
188 188
     }
189 189
 }
190 190
\ No newline at end of file
Please login to merge, or discard this patch.