複数バージョン

PHPの複数バージョンをインストールして切替できるツールphpenvをインストールした状態から、インストール済のPHPより新しいバージョンをインストールする際の手順の解説です。