Re: Allow to easily retrieve non-default INI settings / GH PR 17459

From: Date: Mon, 17 Feb 2025 08:36:30 +0000
Subject: Re: Allow to easily retrieve non-default INI settings / GH PR 17459
References: 1  Groups: php.internals 
Request: Send a blank email to [email protected] to get a copy of this message 
Hi

Am 2025-02-06 09:55, schrieb Tim Düsterhus:

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 :-)


For reference, I created a PR to update the flag to --ini=diff at: https://github.com/php/php-src/pull/17762

Best regards
Tim Düsterhus

Thread (4 messages)

« previous php.internals (#126426) next »