This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-InputBox
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-InputBox
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced
2024-11-14 10:44:45 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
974
commits
282
branches
5
tags
11
MiB
wmf/1.40.0-wmf.8
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