_zend_extension_string  373 ext/reflection/php_reflection.c static void _zend_extension_string(string *str, zend_extension *extension, char *indent);
_zend_extension_string 5948 ext/reflection/php_reflection.c 	_zend_extension_string(&str, extension, "");