mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-11-15 03:04:52 +00:00
8b4932ca81
There can be more then one <inputbox> in page. Don't reuse id attributes. See also r60072 Bug: 11777 Change-Id: If7c518445c966aa5c0b16929ccdf22cdf014b59d |
||
---|---|---|
i18n | ||
.gitignore | ||
.gitreview | ||
InputBox.classes.php | ||
InputBox.hooks.php | ||
InputBox.i18n.php | ||
InputBox.php |