Hi, On Sat, 15 Aug 2026 at 17:42, Weilin Du <[email protected]> wrote: > > 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 >
