Consistent case-insensitive module registry lookups

Hi,

Hi internals,

Now we have four functions that interact with extension name. ini_get_all() extension_loaded()
phpversion() and get_extension_funcs(). Among those, only ini_get_all is case-sensitive. That is:

extension_loaded('Pcre') // ok
get_extension_funcs('Pcre') // ok
phpversion('Pcre') // ok
ini_get_all('Pcre') // not ok

As proposed in GH-23293 [1] it is good to have ini_get_all consistent with other functions, that
is, to be case-insensitive in extension names. As per our current policy [2] A core developer
(David) requests that the feature to be discussed on the internals mailing list to make sure that
no one objects in the two-week period before this is merged.

note I did not necessarily imply it needs to land for 8.6 :)

Feel free to provide feedback if you think this change isn't reasonable or could cause
compatibility issues :)

Weilin

[1] https://github.com/php/php-src/pull/23293
[2] https://github.com/php/policies/blob/main/release-process.rst#feature-selection-and-development

good to have ini_get_all consistent with other functions, that
is, to be case-insensitive in extension names.

I agree. Another option to make them consistent would be to have them all case-sensitive. Have you considered that?

get_extension_funcs('Pcre') // ok

This is not what the documentation for get_extension_funcs says:

This parameter must be in lowercase.

This doesn't seem to be true. Do you know why it says that?

Regards,

Sjoerd