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-27 16:39:59 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
54c2d40d4d
mediawiki-extensions-InputBox
/
includes
History
jenkins-bot
1f08bd8abc
Merge "Simplify code that generates different error messages"
2022-02-05 23:41:30 +00:00
..
InputBox.php
Merge "Simplify code that generates different error messages"
2022-02-05 23:41:30 +00:00
InputBoxHooks.php
Make InputBoxHooks::render() non-static
2021-12-10 13:49:55 -05:00