]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f342ad) | patch
Rename zend_error_notify APIs to zend_observer_error*
authorBenjamin Eberlei <kontakt@beberlei.de>
Mon, 14 Sep 2020 12:05:54 +0000 (14:05 +0200)
committerBenjamin Eberlei <kontakt@beberlei.de>
Mon, 14 Sep 2020 17:29:14 +0000 (19:29 +0200)
commit1359a52d5bbab26004c6195d9d8b8fbc720fd701
tree1be638afbcd1357516bd81b975f376ee0dcc009atree | snapshot
parent8f342ad4d2be23e898984900a8093be0f78e830acommit | diff
Rename zend_error_notify APIs to zend_observer_error*
UPGRADING.INTERNALS diff | blob | history
Zend/zend.c diff | blob | history
Zend/zend.h diff | blob | history
Zend/zend_exceptions.c diff | blob | history
Zend/zend_observer.c diff | blob | history
Zend/zend_observer.h diff | blob | history
main/main.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.