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