wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-14 18:55:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
360 commits 282 branches 5 tags 11 MiB
Commit graph

2 commits

Author SHA1 Message Date
Translation updater bot a3314fb4f2 Localisation updates from https://translatewiki.net. 
Change-Id: I38a3db7d32efd2b2ed4a62db5f1f0f0075370124
 2014-03-28 19:28:08 +00:00
Siebrand Mazeland 2ed67f2c7d Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Ia8b8777e8aac533bb5a87398b8fd06a2687248ec
 2014-03-28 08:24:47 +01:00