Mirror from https://gerrit.wikimedia.org/g/mediawiki/tools/phan - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
GPL-2.0 License
There are two base phan configurations for MediaWiki projects:
config.php
for MediaWiki code, like extensions and skinsconfig-library.php
for PHP libraries and other code external to MediaWikiChoose the file more suitable for your project, then include it in the phan configuration and extend/modify it as you see fit.
See https://www.mediawiki.org/wiki/Continuous_integration/Phan for more details.