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
