> 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.

Reply via email to