Home
last modified time | relevance | path

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

/PHP-7.3/scripts/dev/
H A Dfind_tested.php37 $extension_name = $argv[2]; variable
49 $extension_name = false; variable
/PHP-7.3/Zend/
H A Dzend_extensions.c261 ZEND_API zend_extension *zend_get_extension(const char *extension_name) in zend_get_extension()
H A Dzend_builtin_functions.c2681 zend_string *extension_name; in ZEND_FUNCTION() local
2702 zend_string *extension_name; in ZEND_FUNCTION() local
/PHP-7.3/main/
H A Dphp_ini.c213 char *extension_name; in php_ini_parser_cb() local

Completed in 17 milliseconds