Miles McLean

Results 2 comments of Miles McLean

Completed some time ago, at least simply, based on comments from the makefile. Close if this solves this issue.

For the php dev container, we might need to just add these environment variables if we cannot figure out a way to copy from a base image: `ENV PHP_INI_DIR /usr/local/etc/php`...