PNETLAB platform Group

Hi everyone, Could you please advise if there is any supported way to install PHP 7.2 on Ubuntu 20.04? I noticed that the ppa:ondrej/php repository no longer provides PHP 7.2 packages for Ubuntu 20.04. It seems that the only option might be the paid Freexian PHP LTS repository. Alternatively, is it possible to install PNETLab v5 on Ubuntu 20.04 without PHP 7.2, or should I use a different Ubuntu version? Thanks in advance!