A Docker development environment for PHP