On Mon, Aug 17, 2026, at 12:10, Weilin Du wrote: > I don't think making them all case-sensitive is better.
Yes, this sounds reasonable. > That's a documentation error in > the get_extension_funcs function and should be fixed. https://github.com/php/doc-en/issues/5765 > this should target 8.7 :) How does this work with branches in git? Does this PR needs to stay open till the PHP-8.6 branch is created, before it can be merged into master? When is that? Regards, Sjoerd
