Re: Allow to easily retrieve non-default INI settings / GH PR 17459
> this email concerns my PR https://github.com/php/php-src/pull/17459,
> which extended the cli-SAPI’s --ini flag to print any INI settings
> that differ from the built-in default. There was some discussion around
> which flag to use, which didn't result in particularly strong opinions,
Even before this change, the php --ini output was not very
"plumbing-friendly", so I don't think there are scripts that parse the
php --ini output.
If we are really looking to change or add a new flag, I think a new
php --ini-list-modified or php --ini-show-modified might be a good
fit.
php --help lists the --ini flag as `Show configuration file
names, so with a new flag, we don't change the semantics of the php
--ini` flag.
Thank you,
Ayesh.
Thread (4 messages)