mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-09-24 10:49:06 +00:00
7c49387ae4
Change-Id: Ica233c854f25ccdb3842e956a2a97be67ffbd83e |
||
---|---|---|
i18n | ||
.gitignore | ||
.gitreview | ||
InputBox.classes.php | ||
InputBox.hooks.php | ||
InputBox.i18n.php | ||
InputBox.php |