Re: [PHP-DEV] [PATCH] Implementing array_every() and array_any()

2018-10-22 Thread bugreportuser
On Mon, Oct 22, 2018 at 1:39 AM Levi Morrison wrote: > > On Sun, Oct 21, 2018 at 10:04 PM bugreportuser > wrote: > > > > Hi everyone, > > > > A patch for array_every() and array_any() was abandoned from inactivity, > > so I wrote a new patch for it: > > > > https://github.com/php/php-src/pull/359

Re: [PHP-DEV] [PATCH] Implementing array_every() and array_any()

2018-10-21 Thread Levi Morrison
On Sun, Oct 21, 2018 at 10:04 PM bugreportuser wrote: > > Hi everyone, > > A patch for array_every() and array_any() was abandoned from inactivity, > so I wrote a new patch for it: > > https://github.com/php/php-src/pull/3597 > > There was never an internals@ discussion that I can find, but there

Re: [PHP-DEV] [PATCH] Implementing array_every() and array_any()

2018-10-21 Thread Sara Golemon
On Sun, Oct 21, 2018 at 11:03 PM bugreportuser wrote: > A patch for array_every() and array_any() was abandoned from inactivity, > so I wrote a new patch for it: > > https://github.com/php/php-src/pull/3597 > > There was never an internals@ discussion that I can find, but there are > some comments