fix with PHP master
authorMichael Wallner <mike@php.net>
Thu, 26 Jan 2017 08:24:13 +0000 (09:24 +0100)
committerMichael Wallner <mike@php.net>
Thu, 26 Jan 2017 08:24:13 +0000 (09:24 +0100)
commit107ea2284072f3f2bf9ea568ad82c047f8206963
treeebdf86d8aa2b0d2cab41ae9bfdf1f5b6519a9ba6
parent7d3b07ee79a6ef533705902523ae69080d173cc6
fix with PHP master
src/php_propro_api.c
src/php_propro_api.h