https://ostechnix.com/how-to-switch-between-multiple-php-versions-in-ubuntu/ReferencesManaging Multiple PHP versions via the ondrej/php PPAupdate-alternatives(1) — Linux manual page