Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126322
Precedence: bulk
MIME-Version: 1.0
References: <2861271a800eddea62c7fe93b32b2fab@bastelstu.be>
In-Reply-To: <2861271a800eddea62c7fe93b32b2fab@bastelstu.be>
Date: Fri, 7 Feb 2025 14:59:58 +0700
Message-ID: <CANLbj-rMoOiyjRqvKkKaL1f7F9mkeUP+W_bBpOAONz20Wq0wGw@mail.gmail.com>
Subject: Re: [PHP-DEV] Allow to easily retrieve non-default INI settings / GH
 PR 17459
To: =?UTF-8?Q?Tim_D=C3=BCsterhus?= <tim@bastelstu.be>
Cc: php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: ayesh@php.watch (Ayesh Karunaratne)

> this email concerns my PR https://github.com/php/php-src/pull/17459,
> which extended the cli-SAPI=E2=80=99s `--ini` flag to print any INI setti=
ngs
> 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.