Tianon Gravi 6d7ea20646 Merge PHP_EXTRA_* into the places they're used ... Also, this explicitly treats "cli" and "zts" variants as similar for the purposes of `--enable-embed`.		2021-10-08 17:40:11 -07:00
..
docker-php-entrypoint	update to php-7.4.0	2019-11-28 08:25:42 +01:00
docker-php-ext-configure	Prevent "silent" failures by having docker-php-ext-configure error on unknown flags so users have to fix them	2019-12-03 16:32:01 -08:00
docker-php-ext-enable	Adjust "docker-php-ext-enable" to use "grep -Fx"	2021-01-20 10:44:08 -08:00
docker-php-ext-install	Add ini-name to ext-install to pass along to ext-enable	2020-06-02 10:41:14 -07:00
docker-php-source	update to php-7.4.0	2019-11-28 08:25:42 +01:00
Dockerfile	Merge PHP_EXTRA_* into the places they're used	2021-10-08 17:40:11 -07:00