Re: [RFC] [VOTE] Random Extension 5.x
| From: | Go Kudo | Date: | Tue, 28 Jun 2022 01:04:26 +0000 |
| Subject: | Re: [RFC] [VOTE] Random Extension 5.x | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-118112@lists.php.net to get a copy of this message | ||
2022年6月14日(火) 9:01 Go Kudo <g-kudo@colopl.co.jp>:
> Hello internals.
>
> Voting began on 2022-06-14 00:00:00 (UTC) and will end on 2022-06-28
> 00:00:00 (UTC).
>
> https://wiki.php.net/rfc/rng_extension
>
> The implementation is not yet complete and has some issues.
> See TODO in Pull Request for details.
>
> https://github.com/php/php-src/pull/8094
>
> Best Regards,
> Go Kudo
>
Hello Internals.
Voting is now closed as the deadline has passed.
This RFC accepted with 20 yes / 0 no.
https://wiki.php.net/rfc/rng_extension
Meanwhile, a new RFC will be voted on to improve the content of the RFC.
https://wiki.php.net/rfc/random_extension_improvement
https://externals.io/message/117994
Thank you for your continued support.
Best regards
Go Kudo