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:
>
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 are
some comments on the old pull request. Most of what I changed was
