yosifkit 7707290c53 Merge pull request #605 from infosiftr/shared-sodium ... Update sodium extension to be shared (so it can be replaced if necessary by users)		2018-03-21 13:34:44 -07:00
..
docker-php-entrypoint	Updated PHP 7.2-RC-6 to released	2017-11-30 15:25:21 +01:00
docker-php-ext-configure	Be less verbose during extension installation (fix #319)	2018-01-01 19:50:55 +01:00
docker-php-ext-enable	Switch from "nm" to "readelf" so that we can detect the "zend_extension_entry" symbol even in stripped objects	2017-12-08 16:25:01 -08:00
docker-php-ext-install	Updated PHP 7.2-RC-6 to released	2017-11-30 15:25:21 +01:00
docker-php-source	Updated PHP 7.2-RC-6 to released	2017-11-30 15:25:21 +01:00
Dockerfile	Merge pull request #605 from infosiftr/shared-sodium	2018-03-21 13:34:44 -07:00