From what I can see the new version supports PHP 7.3.x (it was tested with PHP 7.3.8)
I looked at benchmarks and the new 7.3 version should be faster than 7.2
I have then question how to upgrade the PHP.
My Environment
Digital ocean
18.04 Ubuntu
M2.3.3
Initially I installed my php following your tutorial running the following commands:
You don’t have to add the ppa:ondrej/php repository again
You don’t have to reinstall zip or unzip again
Before/After upgrading Magento, be sure to check the root .htaccess file to ensure your PHP 7 memory_limit is set to 2G. After a Magento update this value can reset to 756M, which affects site performance (and can result in Readiness Check Failure)
Installing PHP 7.3 should also automatically activate it too
Backup your Server (not Magento) before running these commands
These instructions install the latest version of 7.3.x. I don’t actually know at this stage how to install a specific patched version (e.g. 7.3.8)
Bare in mind, just because Magento now supports PHP 7.3.x, it doesn’t mean your 3rd party modules do!
Before going through these steps, my version of PHP was 7.2.13. The following set of commands should be ran as a superuser.
Tell Ubuntu to update its records from all of the connected repositories
sudo apt-get update
Install PHP 7.3.x and all of the subsequent PHP Modules