Re: CLI/CGI -z command line options is broken

From: Date: Sun, 16 Feb 2025 10:00:56 +0000
Subject: Re: CLI/CGI -z command line options is broken
References: 1 2  Groups: php.internals 
Request: Send a blank email to [email protected] to get a copy of this message 
On 16.02.2025 at 01:34, Niels Dossche wrote:

> On 16/02/2025 01:31, Davey Shafik wrote:
>
>> Why not make -z an alias for -d zend_extension?
>
> Turned out that's not trivial due to escape character handling: https://github.com/php/php-src/issues/17740#issuecomment-2645928676

And even if it was trivial, what practical purpose would that serve?  Is
it so common to specify additional zend extensions on the command line
that an own options is justified to avoid a couple of additional characters?

Christoph

Thread (6 messages)

« previous php.internals (#126422) next »