1. Установка в PHPStorm:
Settings → Plugins → ⚙️ → Manage plugin repositories:
Добавляем адрес
https://idea-plugins.kphp.dev
Закрываем окно настроек через ОК и открываем настройки заново.
Теперь он должен находиться по запросу (иногда без иконки):
Установить плагин, вылезет Restart IDE, согласиться.
2. После рестарта, если открыт KPHP проект, плагин предложит автонастройку:
Нажать, подождать секунду, вылезет окошко, нажать Invalidate and Restart:
3. После рестарта IDE заново всё переиндексирует — только типы будут парситься уже по-новому.
Если хочется удалить или отключить плагин, то тогда нужно снова вручную сделать Invalidate and Restart. Потому что в phpdoc-тегах хранится доп. информация в сериализованном виде, которую IDE без плагина не может распаковать.
Любые плагины ставятся и включаются глобально. Нельзя в одном проекте плагин включить, а в другом выключить. При этом в PhpStorm одновременно может быть открыт как KPHP, так и обычный PHP проект. Что тогда?
В случае обычных PHP проектов плагин старается минимально изменять функциональность IDE. Иными словами, отключает те части, которые возможно. Именно поэтому все инспекции по умолчанию отключены.
На все проекты действуют (не отключаются) следующие вещи:
?int
,
и IDE это поймёт; при этом
mixed
останется в значении "что угодно", как привычно в PHP.
После выполнения автонастройки — для текущего проекта:
mixed
начинает значить конкретный тип, как и в KPHPНа самом деле, очень банально: при открытии любого проекта смотрит,
есть ли php-полифиллы для функций tuple()
и shape()
.
Если да, и если автонастройки ещё не было, вылазит окошко с ней.
В меню Tools > KPHPStorm > Set up for Project: