3 Commits

Author	SHA1	Message	Date
Joe Ferguson	9bcb75e9db	Prevent "silent" failures by having docker-php-ext-configure error on unknown flags so users have to fix them ... "configure: WARNING: unrecognized options" just gets lost in all the configure output	2019-12-03 16:32:01 -08:00
J0WI	0e056693f2	Be less verbose during extension installation (fix #319)	2018-01-01 19:50:55 +01:00
Claude Khedhiri	f795769559	Updated PHP 7.2-RC-6 to released	2017-11-30 15:25:21 +01:00