PHP 7.2 support

[bluemanos]

When do you plan to include the PHP 7.2?

[veelasky]

any update on this?

[colejarczyk]

I agree it would be very useful to have PHP 7.2

[mikelking]

Any news?

[ambroisemaupate]

I think this repository is not maintained anymore (Debian packages outdated), you can get a look at my forks for php7.2 and php7.3. They are mainly used in Gitlab CI to build dependencies and compile some Webpack assets (NodeJS v10.x, Yarn)

• https://hub.docker.com/r/roadiz/php72-runner
• https://hub.docker.com/r/roadiz/php73-runner