Hi internals. As a result of the exchange in the following thread, it seems appropriate to separate the proposals.
In line with this, we have created a proposal to first clean up the existing RNG-related functionality and move it from ext/standard to ext/random. https://wiki.php.net/rfc/random_ext Hopefully this will get a good response. Regards, Go Kudo