Home
last modified time | relevance | path

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

/PHP-7.1/scripts/dev/
H A Dfind_tested.php37 $extension_name = $argv[2]; variable
49 $extension_name = false; variable
/PHP-7.1/Zend/
H A Dzend_extensions.c258 ZEND_API zend_extension *zend_get_extension(const char *extension_name) in zend_get_extension()
H A Dzend_builtin_functions.c2816 zend_string *extension_name; in ZEND_FUNCTION() local
2837 zend_string *extension_name; in ZEND_FUNCTION() local
/PHP-7.1/main/
H A Dphp_ini.c215 char *extension_name; in php_ini_parser_cb() local

Completed in 17 milliseconds