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

Reply via email to