Support looking for classes without full analyzing

[JeroenDeDauw]

In my project I used a number of classes defined and autoloaded elsewhere. This leads to UndefinedClass errors, forcing me to suppress UndefinedClass for my whole project.

My project is an extension to MediaWiki. MediaWiki defines and autoloads the missing classes before invoking my project. I do not wish to analyze the whole of MediaWiki, which coincidentally leads to a crash #3617. Ideally I can just tell Psalm to chill out about some specific missing classes. Or to look at the MediaWiki classes but not report on those (or crash).

I had the same issue with PhpStan and fixes it by using the scanDirectories option:

Twitter thread: https://twitter.com/psalmphp/status/1273817066664009728

[psalm-github-bot]

Hey @JeroenDeDauw, can you reproduce the issue on https://psalm.dev ?

[JeroenDeDauw]

[muglug]

This is basically a matter of adding an <extraFiles> block to the config – @JeroenDeDauw do you mind creating a PR with the documentation? I can do the implementation

[JeroenDeDauw]

Woha that is some speed right there!

[JeroenDeDauw]

I will verify this works for me and then update the docs

[JeroenDeDauw]

Works like a charm! Documented with #3619