MediaWiki phan configuration
============================

There are two base phan configurations for MediaWiki projects:
* `config.php` for MediaWiki code, like extensions and skins
* `config-library.php` for PHP libraries and other code external to MediaWiki

Choose 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.