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

This is only part of a thread. view whole thread
  111103
July 22, 2020 12:18 sebastian@php.net (Sebastian Bergmann)
Am 22.07.2020 um 14:00 schrieb Derick Rethans:
> Please, let's do the sensible and use the Rusty #[...] syntax.
+1