wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 22:54:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
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