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
