Eclipse - PHP 開発環境 - PHP バージョンを上げる

クラウディア 
1. 概要
2. 検証のバージョンを上げる

1. 概要

 メインのマシンの「PHP」のバージョンを「5.7」から「7.2」へ移行しました。  モジュールのバージョンを上げようとしたら「含まれているリポジトリが見つかりません」などというエラーになってあげられませんでした。  せめて
「Eclipse」-「設定」「検証」「バージョン 5.7」

 検証のバージョンを「5.7」から「7.x」代へ上げたいな・・・と。

2. 検証のバージョンを上げる

 「7.2」が選択肢になかったので「7.1」にして  「適用」
「Eclipse」-「設定」「検証」「バージョン 7.1」

 「PHP」を動かしているのは別のマシンであるし。
 そもそもスクリプトなのでビルドの必要はないのだ。
 「いいえ」

「Eclipse」-「ビルドを実行しますか」