diff options
author | Peter Kokot <peterkokot@gmail.com> | 2019-03-02 12:11:44 +0100 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2019-03-02 12:23:21 +0100 |
commit | 7431eb72fe1593b75d87533abcd332ac404b7ea7 (patch) | |
tree | 4111aadad3bfcd144657a1b4379ab40b00eac885 /scripts/man1/php-config.1.in | |
parent | 220e6827109098d960647af816db7b081f52635a (diff) | |
download | php-git-7431eb72fe1593b75d87533abcd332ac404b7ea7.tar.gz |
Remove LIBZEND_CHECK_INT_TYPE and PHP_CHECK_TYPES
Checking for int32_t and uint32_t types is already done by the
PHP_CHECK_STDINT_TYPES m4 macro.
The PHP_CHECK_TYPES m4 macro has been once used by the mysqlnd and has
been removed via 14caf174ff219376e4f1234bd297ffe973cc416e and
additionally, the internal unused macro _PHP_DEF_HAVE_FILE has been
removed.
Additionally, the unused PHP_HAVE_STDINT_TYPES symbol has been removed.
Diffstat (limited to 'scripts/man1/php-config.1.in')
0 files changed, 0 insertions, 0 deletions