mirror of
https://github.com/php/php-src.git
synced 2026-04-03 06:02:23 +02:00
Since the member is not used in `OnUpdateEol()` that's not really an issue, but still it's confusing to apparently have two INI settings targeting the same member.