fix undefined symbol ZEND_ASSERT
authorMichael Wallner <mike@php.net>
Mon, 13 Jun 2016 07:44:25 +0000 (09:44 +0200)
committerMichael Wallner <mike@php.net>
Mon, 13 Jun 2016 07:44:25 +0000 (09:44 +0200)
commita1d6c90d8630ec1385f10052656d129498720adf
treeb10ec8d2382da0dd7e4d0838fab4bb0c7673bc0e
parent55d74c2d07edcf6d51fe62bc257c3bde0f7f25d4
fix undefined symbol ZEND_ASSERT
src/php_http_client_curl_event.c
src/php_http_client_curl_user.c