Add php_random_int internal API

[lt]

This is the internal API compliment to php_random_bytes

The purpose is to allow extensions and future enhancements that require high quality unbiased random numbers to fetch them without having to implement their own unbiasing algorithm.

[nikic]

LGTM.

Ping @krakjoe @dshafik for target version. This only adds additional APIs, is this fine for 7.1?

[krakjoe]

It's okay with me, for reasons ... we can talk about them if you like ... or we can leave it at ok ...

[lt]

I'm happy with "ok" ;)

[krakjoe]

I think it's too late for 7.0 (@weltling please confirm).

Once confirm is recv'd, please rebase on appropriate branch.

[KalleZ]

@krakjoe its a small self contained function, I do not see a reason why this cannot go into 7.0 if it also goes into 7.1, as it may also help transition of 7.0 -> 7.1 if the function is available earlier

[krakjoe]

That's a good point.

My early morning brain said that some of the justification for inclusion in 7.1 might not apply to 7.0, but I guess some of it does.

I'd like it in 7.0 whatever.

[lt]

Ok I'll take this positive sentiment, and go ahead and merge.

PHP-7.0: c3361f1
PHP-7.1: f5244f3
master: f23e99d

[weltling]

Yeah, that's fine for 7.0. Please merge.

Thanks.