[RFC] Case-insensitive extension names in ini_get_all()
| From: | Weilin Du | Date: | Fri, 16 Oct 2026 16:51:23 +0000 |
| Subject: | [RFC] Case-insensitive extension names in ini_get_all() | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-132875@lists.php.net to get a copy of this message | ||
Hi all,
I am introducing the RFC to get ini_get_all case-insensitive as
mentioned in the internal discussion thread [1].
RFC: https://wiki.php.net/rfc/case_insensitive_ini_get_all
Since this is not a complicated RFC and discussions have been
done before. The voting process will start two weeks after if no
further discussion emerged.
Thanks,
Weilin Du
[1]: https://externals.io/message/132226