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-12-11 06:46:02 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
1088
commits
12
branches
25
tags
12
MiB
855154f6e6
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