Re: [VOTE] Random Extension Improvement
| From: | Go Kudo | Date: | Thu, 07 Jul 2022 15:52:34 +0000 |
| Subject: | Re: [VOTE] Random Extension Improvement | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-118217@lists.php.net to get a copy of this message | ||
2022年7月3日(日) 12:00 Go Kudo <g-kudo@colopl.co.jp>:
> Hello internals.
>
> Voting began on 2022-07-02 03:00:00 (UTC) and will end on 2022-07-16
> 03:00:00 (UTC).
>
> https://wiki.php.net/rfc/random_extension_improvement
>
> Best Regards,
> Go Kudo
>
Hi.
Implementation is now proceeding.
It includes fixes to some of the issues that were pointed out previously.
https://github.com/php/php-src/pull/8094
Randomizer::arrayPickKeys() is currently not implemented for now, since
it is most likely to be rejected.
(Of course, we are ready to revert to the other items if they are also
rejected.)
I want to see if it looks good to you.
Regards,
Go Kudo