Ubuntu main repository and PHP

I’m seeking a “best practice.” I am building a LAMP server and when it comes to PHP specifically, I noted that the main Ubuntu repository only has version 7.2x while the current version is 7.4x. 7.2x is fine, but when I am reading the PHP configuration documentation for Magento, they are calling for specific PHP extensions which I can’t seem to find in the repo (at least by the given name). Here’s the documentation with list of extensions:

https://devdocs.magento.com/guides/v2.3/install-gde/prereq/php-settings.html

For example, I can’t find a php-devel package, and a couple of others on this list that seem to not install by default from the main repo. Perhaps they are under a different name?

Is it best to use a PHP PPA instead? Is this a better practice in general so to be sure my software is current? Security fixes and the like?

Your guidance would be appreciated.

Thanks!