mirror of
https://github.com/danog/php.git
synced 2025-01-22 04:51:20 +01:00
145f0de1bc
Adjust "docker-php-ext-configure" to also install deps, but have "docker-php-ext-install" remove them if and only if it was "docker-php-ext-*" which installed them.