Проблему удалось решить. Пока я был в отпуске выяснилось две вещи:
- Наши девопсы обновили гитлаб-раннеры с версии 15.8.* до 15.11.*, в связи с чем PHPStan приобрёл довольно странную особенность поведения (п2):
- Теперь PHPStan привередлив к синтаксису поля
scanDirectories и не поддерживает формат директорий вида ./directory/, но поддерживает directory/
Так что решение проблемы было в замене содержимого конфиг-файла phpstan.neon с:
parameters:
scanDirectories:
- ./wp-content/mu-plugins/
- ./wp-content/plugins/
на:
parameters:
scanDirectories:
- wp-content/mu-plugins/
- wp-content/plugins/
