]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dde552f) | patch
Use zend_error_noreturn here
authorXinchen Hui <laruence@php.net>
Fri, 13 Dec 2013 02:56:35 +0000 (10:56 +0800)
committerXinchen Hui <laruence@php.net>
Fri, 13 Dec 2013 02:56:35 +0000 (10:56 +0800)
commitef73f85079e7563cb82afde35f0e89321257f0d9
tree520ce7f54eb8341e62ad9166d11d3e95b3d74336tree | snapshot
parentdde552f2ee921550646c4236471c1252a9534b52commit | diff
Use zend_error_noreturn here
Zend/zend_opcode.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.