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
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/InputBox
10 commits 283 branches 5 tags 12 MiB
PHP 93.2%
Less 4.7%
JavaScript 2.1%
Go to file
Alex Z. 7a6e480645 *Fix some variable typos 
*Use <label>s with the search namespace checkboxes
*Remove extra htmlspecialchars(), XML::element() does this for us.
2008-10-28 01:56:15 +00:00
InputBox.classes.php *Fix some variable typos 2008-10-28 01:56:15 +00:00
InputBox.hooks.php Maintenance updates: 2008-10-27 20:56:23 +00:00
InputBox.i18n.php Maintenance updates: 2008-10-27 20:56:23 +00:00
InputBox.php Maintenance updates: 2008-10-27 20:56:23 +00:00