wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-24 07:03:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/InputBox
362 commits 283 branches 5 tags 12 MiB
PHP 93.2%
Less 4.7%
JavaScript 2.1%
Go to file
Siebrand Mazeland f14419180a Use key names with the extension name as prefix 
This prevents possible current or future key conflicts. Keys for
translations will be updated at translatewiki.net.

Change-Id: Ie94fa53340c9534f45a70cbafc4d55a7e2d58a7c
2014-04-05 22:00:44 +02:00
i18n Use key names with the extension name as prefix 2014-04-05 22:00:44 +02: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 Use key names with the extension name as prefix 2014-04-05 22:00:44 +02:00
InputBox.hooks.php Maintenance for InputBox extension. 2012-08-30 18:20:32 +02:00
InputBox.i18n.php Migrate to JSON i18n 2014-03-28 08:24:47 +01:00
InputBox.php Migrate to JSON i18n 2014-03-28 08:24:47 +01:00