wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-12 01:01:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/InputBox
365 commits 281 branches 5 tags 11 MiB
PHP 93.2%
Less 4.7%
JavaScript 2.1%
Go to file
jenkins-bot a95d45c730 Merge "Fix capitalization and tests of $this->mId."
2014-04-06 13:49:14 +00:00
i18n Allow InputBoxes to be used to move pages 2014-04-05 22:16:16 -04:00
.gitignore Add .gitignore 2012-05-21 01:37:12 +01:00
.gitreview Adding .gitreview 2012-03-23 10:29:47 -07:00
InputBox.classes.php Merge "Fix capitalization and tests of $this->mId." 2014-04-06 13:49:14 +00:00
InputBox.hooks.php Allow InputBoxes to be used to move pages 2014-04-05 22:16:16 -04:00
InputBox.i18n.php Migrate to JSON i18n 2014-03-28 08:24:47 +01:00
InputBox.php Allow InputBoxes to be used to move pages 2014-04-05 22:16:16 -04:00