rfc:userspace_operator_overloading

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
rfc:userspace_operator_overloading [2020/03/23 17:53] – jbtronicsrfc:userspace_operator_overloading [2020/04/06 19:31] (current) – jbtronics
Line 3: Line 3:
   * Date: 2020-02-01   * Date: 2020-02-01
   * Author: Jan Böhmer, jan.h.boehmer@gmx.de   * Author: Jan Böhmer, jan.h.boehmer@gmx.de
-  * Status: Voting+  * Status: Declined
   * Target Version: PHP 8.0   * Target Version: PHP 8.0
   * Implementation: https://github.com/php/php-src/pull/5156    * Implementation: https://github.com/php/php-src/pull/5156 
Line 164: Line 164:
 ===== Vote ===== ===== Vote =====
 Voting started 2020-03-23 and ends 2020-04-06. Voting started 2020-03-23 and ends 2020-04-06.
-<doodle title="Add userspace operator overloading as described?" auth="jbtronics" voteType="single" closed="false">+<doodle title="Add userspace operator overloading as described?" auth="jbtronics" voteType="single" closed="true">
    * Yes    * Yes
    * No    * No
rfc/userspace_operator_overloading.1584986018.txt.gz · Last modified: 2020/03/23 17:53 by jbtronics

Page Tools