Eclipseのテキストエディタでphpのコンパイラを変更する方法を知りたい

Question

Eclipseのエディタでphpファイルを編集しています。
プラグインは「PHP 開発ツール(PDT) 6.2.0.201812112302」を使用しています。
オブジェクト指向でコードを書いていて、コンストラクタに次のようにnullable型引数を指定すると、
図1のようにテキストエディタでエラーといわれます。

図1 Eclipseのテキストエディタに表示されるエラー

実行の構成ではバージョン7.3のCLIを用いているので、エラーを無視して実行すれば、コンソールにエラーは出ず、通常通り動作します。

実行時に正常終了するコードに対してテキストエディタがエラーを表示するということは、実行時のコンパイラとテキストエディタがエラー探しのために用いているコンパイラが異なるからだと推測しています。また、テキストエディタのコンパイラは、スカラ型のタイプヒンティングにも難癖をつけていたので、おそらくphp7.0以前のものだと思います。

そこで、テキストエディタのコンパイラを変更したいのですが、その方法が分かりません。どなたかご教授いただけませんでしょうか。

Answer 1

PHPはコンパイル言語ではないので正確には「デバッガー」と表現したほうが良いです。
外出先ゆえ、手元にないのですが、確か

プロジェクト右クリックプロパティ
→言語設定のデバッグ

のような項目でチェックするPHPのバージョンが指定できたはずです。

Comments

[17ec084]

ご回答ありがとうございます。
phpは実行時にソースをコンパイルしていると聞いたことがあったので、このような表現としました。

Answer 2

自己解決しました。
ウィンドウ>設定>PHP>検証とすすみ、図2のようにPHPバージョンをCLIにあわせました。

図2 テキストエディタの検証根拠となるphpバージョンの変更

またデバガというとZendデバガやXdebugなどと混同してしまう気がします。
そこで「スキーマ」という呼び方もあるのかなと素人ながらに思いました。