Searched defs:extension_name (Results 1 – 4 of 4) sorted by relevance
38 $extension_name = $argv[2]; variable50 $extension_name = false; variable
283 ZEND_API zend_extension *zend_get_extension(const char *extension_name) in zend_get_extension()
1856 zend_string *extension_name; in ZEND_FUNCTION() local1876 zend_string *extension_name; in ZEND_FUNCTION() local
187 char *extension_name; in php_ini_parser_cb() local
Completed in 14 milliseconds