wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-13 17:53:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
1145 commits 282 branches 5 tags 11 MiB
Commit graph

1 commit

Author SHA1 Message Date
zoranzoki21 02f1a2705f Upgrade InputBox extension to use newer phan 
Bug: T216922
Change-Id: I64e8a4e97e6d7e8216845b3cc912239c69107dd7
 2019-03-02 21:02:16 +01:00