Как изменить версию PHP в PHP Intelephense? ⇐ Php

[Anonymous]

Я использую IIS и VSCODE для работы PHP. Недавно я обновил IIS от Php7.3 до Php7.4. Моя проблема в том, что VSCODE все еще использует PHP7.3. Я погуглил, как изменить версию в VSCODE, и почти во всех ресурсах говорится, что есть файл JSON, который может измениться в соответствии с настройками PHP в файле> Настройки> Настройки. Когда я ищу PHP, я не вижу ни одного из этих вариантов. Что я делаю не так?

Подробнее здесь: https://stackoverflow.com/questions/686 ... telephense