Re: [PHP-DEV] Random Extension 5.x needs follow-up

2022-07-20 Thread Larry Garfield
On Wed, Jul 20, 2022, at 9:24 AM, Go Kudo wrote: > Hi Internals. > > The Random Extension 5.x and Random Extension Improvement RFCs have been > passed and recently merged into the master branch. However, the proposal is > still problematic and implementation fixes are needed. > > Currently, the mt_

[PHP-DEV] Random Extension 5.x needs follow-up

2022-07-20 Thread Go Kudo
Hi Internals. The Random Extension 5.x and Random Extension Improvement RFCs have been passed and recently merged into the master branch. However, the proposal is still problematic and implementation fixes are needed. Currently, the mt_rand() function is overloading its arguments, and I have desi