@@ -776,15 +776,15 @@ |
||
| 776 | 776 | if (!is_callable('random_int')) |
| 777 | 777 | { |
| 778 | 778 | /** |
| 779 | - * Fetch a random integer between $min and $max inclusive |
|
| 780 | - * |
|
| 781 | - * @param int $min |
|
| 782 | - * @param int $max |
|
| 783 | - * |
|
| 784 | - * @throws Exception |
|
| 785 | - * |
|
| 786 | - * @return int |
|
| 787 | - */ |
|
| 779 | + * Fetch a random integer between $min and $max inclusive |
|
| 780 | + * |
|
| 781 | + * @param int $min |
|
| 782 | + * @param int $max |
|
| 783 | + * |
|
| 784 | + * @throws Exception |
|
| 785 | + * |
|
| 786 | + * @return int |
|
| 787 | + */ |
|
| 788 | 788 | function random_int($min, $max) |
| 789 | 789 | { |
| 790 | 790 | /** |