Home
last modified time | relevance | path

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

/PHP-8.1/scripts/dev/
H A Dfind_tested.php38 $extension_name = $argv[2]; variable
50 $extension_name = false; variable
/PHP-8.1/Zend/
H A Dzend_extensions.c283 ZEND_API zend_extension *zend_get_extension(const char *extension_name) in zend_get_extension()
H A Dzend_builtin_functions.c1856 zend_string *extension_name; in ZEND_FUNCTION() local
1876 zend_string *extension_name; in ZEND_FUNCTION() local
/PHP-8.1/main/
H A Dphp_ini.c187 char *extension_name; in php_ini_parser_cb() local

Completed in 14 milliseconds