diff options
author | Remi Collet <remi@php.net> | 2016-10-14 10:54:47 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2016-10-14 10:54:47 +0200 |
commit | aecd165b8f0efe0f3bbbf12c3f1e8710fbbc0458 (patch) | |
tree | 074ff1f6e8ef455e17f612f64ff71014af74cf40 /main/php.h | |
parent | 65e6f7e16f7f61d6c8bc1788a71f1cdc65fc9a9a (diff) | |
parent | 428ef5083819328b40357e1de229d5cf740a36e7 (diff) | |
download | php-git-aecd165b8f0efe0f3bbbf12c3f1e8710fbbc0458.tar.gz |
Merge branch 'PHP-7.0' into PHP-7.1
* PHP-7.0:
use zend_error instead of zend_error_noreturn
Diffstat (limited to 'main/php.h')
0 files changed, 0 insertions, 0 deletions