wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-15 11:45:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CiteTh.../tests/phan
History
Kunal Mehta a4669f079d phan: Only check includes/ directory 
And remove the extra configuration that was needed for linting the legacy
PHP entry point.

Bug: T187489
Change-Id: I77646431e233d9bca81a344f0168c154397fcf50
2018-02-15 12:20:08 -08:00
..
config.php phan: Only check includes/ directory 2018-02-15 12:20:08 -08:00