Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?

This is only part of a thread. view whole thread
  111124
July 22, 2020 14:48 sebastian@php.net (Sebastian Bergmann)
Am 22.07.2020 um 16:45 schrieb Joe Ferguson:
> We as internals just need to decide that @@ isn't a solution > and defer to the next ranked vote? I'd be the first one to +1.
Makes sense to me; +1.