我正在寻找“最佳实践”。我正在构建一个 LAMP 服务器，具体到 PHP 时，我注意到主 Ubuntu 存储库只有 7.2x 版本，而当前版本是 7.4x。7.2x 很好，但是当我阅读 Magento 的 PHP 配置文档时，他们要求特定的 PHP 扩展，而我似乎无法在存储库中找到这些扩展（至少按给定的名称）。以下是包含扩展列表的文档：
https://devdocs.magento.com/guides/v2.3/install-gde/prereq/php-settings.html
例如，我找不到 php-devel 包，以及此列表中似乎未从主存储库默认安装的其他几个包。也许它们使用了不同的名称？
最好使用 PHP PPA 吗？这是否是一种更好的做法，可以确保我的软件是最新的？安全修复之类的？
谢谢您的指导。
谢谢！