mirror of
https://github.com/php/php-src.git
synced 2026-04-29 11:13:36 +02:00
5e112d4384
might be called before that registration takes place and hence the INI update is dismissed. In that case, we defer the lookup to the first request init.