[php][ubuntu]php7とphp5とphpenvいつものように残り人生が1日溶けた。結論とやったことを吐き出して忘れる。結論:phpenvなんてものはなかった。ローカルでPHP7を使っててPHP5.xも切り替えて使いたいとかいう場合はdockerでカレントをマウントして使え。前提:ローカルにはPHP7.3だけがある。PHP5.6.xが必要になった。phpenvで切り替えて天国へ行きたい。