wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-12-18 01:30:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/tests/phan
History
Kunal Mehta 6deecac4c2 Add phan configuration 
Change-Id: I220a6da9d506a754d4e502bd4bd3178949b73f5f
2018-02-24 13:57:36 -08:00
..
config.php Add phan configuration 2018-02-24 13:57:36 -08:00