Docker repo for PHP compiled versions.