Userspace operator overloading#5156

Closed

jbtronics wants to merge 16 commits intophp:masterfrom

jbtronics:operator_overloading

Commits on Jan 30, 2020

Implemented user operator overloading using a do_operation handler.
jbtronics
committed

Commits on Feb 8, 2020

Use zend_type_error to trigger an type error.
jbtronics
committed

Commits on Feb 9, 2020

Added the possiblity to signal that the operator handler does not support the given types by returning null or throwing a TypeError.
jbtronics
committed

Commits on Feb 12, 2020

Commits on Mar 13, 2020

Commits on Mar 20, 2020

Commits on Mar 22, 2020