mirror of
https://github.com/php/php-src.git
synced 2025-01-11 05:24:49 +08:00
rename --ri core to --ri main
# "the man has spoken"
This commit is contained in:
parent
af103577be
commit
02af1b4a65
@ -1306,7 +1306,7 @@ int main(int argc, char *argv[])
|
||||
zend_module_entry *module;
|
||||
|
||||
if (zend_hash_find(&module_registry, lcname, len+1, (void**)&module) == FAILURE) {
|
||||
if(!strcmp(reflection_what, "core")) {
|
||||
if(!strcmp(reflection_what, "main")) {
|
||||
display_ini_entries(NULL);
|
||||
} else {
|
||||
zend_printf("Extension '%s' not present.\n", reflection_what);
|
||||
|
Loading…
Reference in New Issue
Block a user