Hi all, The voting process of the Case-insensitive extension names in ini_get_all() RFC starts today and ends at Nov 16 00:00:00 UTC.
RFC: https://wiki.php.net/rfc/case_insensitive_ini_get_all Discussion thread: https://externals.io/message/132226, https://news-web.php.net/php.internals/132875 Thank you, Weilin Du
