mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-11-15 11:13:27 +00:00
4 commits
Author | SHA1 | Date | |
---|---|---|---|
daa934db04 | |||
4436efd069 | |||
05e7df43bd | |||
97bd4977f1 |
Renamed from inputbox.php (Browse further)