PHP stubs в PhpStorm

PhpStorm поддерживает "заглушки" для PHP функций - это удобно. Например, в IDE вы можете посмотреть quick doc по php::array_merge() или любой другой из сотен функций PHP. Но эти заглушки лишь частично устанавливаются из коробки. Так же есть отдельный реп в пространстве JetBrains, который нужно клонировать в кастомный каталог, вручную прикрутить в IDE и следить за его обновлениями, чтобы заглушки работали для некоторых расширений PHP типа Stomp Client.

Это крайне странная ситуация, которая нисколько не радует...

В блоге JetBrains есть статья, где для чайников рассказано, как форкнуть реп с php-stubs и клонировать его к себе на комп, но при этом не объяснено, нахрена бы мне это понадобилось? Более того, предполагается, что мне жизненно необходимо кастомизировать такие вот заглушки. Что это, первый шаг к своему PHP-препроцессору? Бред.

Открытый вопрос: а почему PhpStorm из коробки сам не может обновлять такие заглушки полноценно? Частичная-то поддержка есть, и я ничего для этого руками не делаю. Так в чем же проблема сделать правильно полностью?

Как эту канитель настроить

Реп с заглушками тут. Я клонировал его к себе на комп в каталог с проектами. Следить за обновлениями не планирую, но так проще.

В PhpStorm идем в Settings > Languages & Frameworks > PHP > вкладка "PHP Runtime". Внизу - Advanced settings, указываем путь к клонированному репу. Налету все должно обновиться, IDE перегружать не надо.

Дополнительно можно воспользоваться кнопой Sync Extensions with Interpreter. Смысл понятен, но зачем отключать/включать нужные заглушки - непонятно. На производительность не влияет, в коде не мешает. Фиг знает.

Кстати, эти же заглушки можно увидеть в инструментальном окне Project, см. внизу External Libraries > PHP Runtime.

Ложка дегтя

Как-будто сейчас еще "мёд", ага..

При добавлении php-stubs вручную IDE заботливо подключит еще и найденный реп в ваш проект. Фича с мультирепозиториями проекта в PhpStorm и так выглядит хреново, мягко говоря, но мониторинг репа с заглушками нужен, как собаке пятая нога. Идем в Settings > Version Control и удаляем из списка левый репозиторий. Ничего не поломается, но в плагине Гита он исчезнет вместе со своими ветками.