wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-30 18:04:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/.phan
History
zoranzoki21 02f1a2705f Upgrade InputBox extension to use newer phan 
Bug: T216922
Change-Id: I64e8a4e97e6d7e8216845b3cc912239c69107dd7
2019-03-02 21:02:16 +01:00
..
config.php Upgrade InputBox extension to use newer phan 2019-03-02 21:02:16 +01:00