Searched refs:zend_extension_index (Results 1 – 1 of 1) sorted by relevance
1319 size_t zend_extension_index = 0; in main() local1321 while (zend_extension_index < zend_extensions_len) { in main()1322 const char *ze = zend_extensions_list[zend_extension_index]; in main()1327 free(zend_extensions_list[zend_extension_index]); in main()1328 zend_extension_index++; in main()
Completed in 10 milliseconds
