[PHP-DEV] Consistent case-insensitive module registry lookups

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. 


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