How can I install PHP 7.2 on Ubuntu 19.10? We use PHP 7.2 in production and I need my local environment to match.
I can't find any repos that provide it since 7.2 was the default in 19.04, but it seems to be completely removed from 19.10.
I've tried downloading and installing the PHP 7.2 tar.gz from PHP.net, but it's missing the apache2 mod, so Apache can't find it.
Update: Ondřej Surý has updated his PHP repo to support Ubuntu 19.10. This guy is a saint! Instructions to install: https://tecadmin.net/install-php-7-on-ubuntu/