Как изменить версию 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