Install with php7.2 on Ubuntu 18.04

The installation instructions [1] are very old and use php5.2 [2].
Are there up-to-date instructions for Ubuntu 18.04, Nginx and Php7.2?



@pablop The instructions still work for Ubuntu. For Nginx, it isn’t tested for each release, but there are various independent recommendations on how to use it. For example: