A docker that works for jenkins-php.org templates