Re: [RFC] Add Random Extension (before: Add Random class)
| From: | Remi Collet | Date: | Tue, 06 Jul 2021 13:46:10 +0000 |
| Subject: | Re: [RFC] Add Random Extension (before: Add Random class) | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-115323@lists.php.net to get a copy of this message | ||
Le 26/06/2021 à 02:39, Go Kudo a écrit :
Hello Internals. RFC has been reorganized for finalization. https://wiki.php.net/rfc/rng_extension1st I dislike the name "random_ext", why this "_ext" part ? 2nd why not following the standard process ? 1/ publish on pecl 2/ merge in php-src if enough success and good feedback Remi