Hi Pierre,
On Thu, Jul 17, 2014 at 3:52 PM, Pierre Joye wrote:
> On Thu, Jul 17, 2014 at 1:02 AM, Yasuo Ohgaki wrote:
> > RFC for this is created.
> >
> > https://wiki.php.net/rfc/use-php_mt_rand
> >
> > New rand() function name is TBD. I cannot think of good name, but
> > I like rand_system().
On Thu, Jul 17, 2014 at 1:02 AM, Yasuo Ohgaki wrote:
> RFC for this is created.
>
> https://wiki.php.net/rfc/use-php_mt_rand
>
> New rand() function name is TBD. I cannot think of good name, but
> I like rand_system(). rand() may stay as it is now also.
I have mixed feelings about that.
What did
