new zend_type
authorMichael Wallner <mike@php.net>
Tue, 31 Jan 2017 15:15:35 +0000 (16:15 +0100)
committerMichael Wallner <mike@php.net>
Tue, 31 Jan 2017 15:54:34 +0000 (16:54 +0100)
commita887001351f8c6c963b2ff0fcd64d71b439c3d79
tree97a5d41e4d212f04e58b20d8f4566279d2b82d8c
parentde4f7cc512bbffb5e71290ac48e659dae5e9601d
new zend_type
src/marshal.c