mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-11-23 22:54:02 +00:00
ad5afe34a7
* remove trailing whitespace * update indentation * stylize.php * eol-style:native svn props |
||
---|---|---|
InputBox.classes.php | ||
InputBox.hooks.php | ||
InputBox.i18n.php | ||
InputBox.php |