num_files        1274 ext/zip/php_zip.c 	rsrc_int->num_files = zip_get_num_files(rsrc_int->za);
num_files        1312 ext/zip/php_zip.c 		if (rsrc_int->index_current >= rsrc_int->num_files) {
num_files          66 ext/zip/php_zip.h 	int num_files;