Hi
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,
with the PR being merged in the current state, given there is plenty of
time until feature freeze for follow-ups.
After the merge, this came up again and I'm now reaching out to
Internals for other folks to weigh in. Those of you who have an opinion
about the flag (and possible BC concerns with using the existing `--ini`
flag), please comment on the PR (or this ML thread). If necessary I can
do a small RFC / straw poll about this, but I hope that the feature is
sufficiently simple to not require a formal process :-)
Best regards
Tim Düsterhus
