RHEL7/CentOS7 で、webtatic リポジトリの php7.1 が入っている環境を渡された。これを remi リポジトリの php7.3 にしたいという。 どうしたらいいんだ？ webtatic の対象パッケージ群を全部削除してから、remi のパッケージ群を入れればいいんだろうか。1…