Re: [PHP-DEV] [VOTE] Userspace operator overloading

This is only part of a thread. view whole thread
  109321
March 26, 2020 06:09 sebastian@php.net (Sebastian Bergmann)
Am 24.03.2020 um 11:06 schrieb Sebastian Bergmann:
> I voted "no" for the same reason.
I changed my vote to "yes" because of Nikita's arguments.