Home
last modified time | relevance | path

Searched defs:extension_name (Results 1 – 4 of 4) sorted by relevance

/php-src/scripts/dev/
H A Dfind_tested.php38 $extension_name = $argv[2]; variable
50 $extension_name = false; variable
/php-src/Zend/
H A Dzend_extensions.c338 ZEND_API zend_extension *zend_get_extension(const char *extension_name) in zend_get_extension()
H A Dzend_builtin_functions.c2094 zend_string *extension_name; in ZEND_FUNCTION() local
2114 zend_string *extension_name; in ZEND_FUNCTION() local
/php-src/main/
H A Dphp_ini.c187 char *extension_name; in php_ini_parser_cb() local

Completed in 17 milliseconds