Re: [Pre-Vote Announcement] Move RNG functions Random Extension
| From: | Nikita Popov | Date: | Mon, 04 Oct 2021 10:21:06 +0000 |
| Subject: | Re: [Pre-Vote Announcement] Move RNG functions Random Extension | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-116212@lists.php.net to get a copy of this message | ||
On Wed, Sep 22, 2021 at 1:21 PM Go Kudo <zeriyoshi@gmail.com> wrote:
> The voting phase for the following RFCs will begin as soon as two weeks
> have passed.
>
> https://externals.io/message/115975
>
> I don't see any particular discussion, so I'm contacting you just in case.
>
I'm pretty neutral on this proposal. I don't think there's a strong
motivation to move this functionality into a separate extension, but I also
don't see any particular problems with doing it (as long as it's an
always-required extension, which this is).
I believe Levi is a proponent of splitting up ext/standard into smaller
extensions, maybe he has some thoughts on this.
Regards,
Nikita