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)

No differences found