danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Code Issues Projects Releases Wiki Activity

add random_int as stub, returns positive-int if min is positive-int (#4199)

Browse Source
This commit is contained in:
Daniel Badura 2020-09-17 14:31:31 +02:00 committed by Daniil Gentili
parent 2c1ff808bb
commit b321b47822
Signed by: danog
GPG Key ID: 8C1BE3B34B230CA7
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Psalm/Internal/Stubs/CoreGenericFunctions.phpstub
View File

@ -731,3 +731,8 @@ function strval ($var): string {}
function str_getcsv(string $input, string $delimiter = ',', string $enclosure = '"', string $escape = '\\\\')
{
}
/**
* @return ($min is positive-int ? positive-int : int)
*/
function random_int(int $min, int $max): int {}