Mediawiki stubs

[JohnRDOrazio]

I have made an attempt at generating Mediawiki stubs using nikic/php-parser: https://github.com/JohnRDOrazio/mediawiki-stubs

However I'm not very familiar with these tools and I'm not sure if the result is useable with intelephense. The resulting stubs file is over 9MB (perhaps there are ways to optimize and reduce the size?).

I have tried placing the stubs file in the root folder of my VSCode project, I have also tried adding the stubs file to a mediawiki stubs folder in the extension's node_modules, and adding mediawiki to the package.json list of intelephense stubs, then enabling mediawiki in the extension settings for stubs. However I'm still getting red underlines on all Mediawiki classes and methods, so I'm not sure what I'm not doing correctly.

In any case, if anyone more experienced is willing to generate Mediawiki stubs and include them in the intelephense extension, this would be greatly appreciated.

[bmewburn]

Do you have intelephense.files.maxSize set to a value greater than 9000000 ? If not, they would not be indexed because of the file size.