wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-09-23 18:29:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
1062 commits 273 branches 5 tags 10 MiB
Commit graph

4 commits

Author SHA1 Message Date
Translation updater bot e99dc4f4eb Localisation updates from https://translatewiki.net. 
Change-Id: Idcb2b1d1e09e378168ee13ebaebe3f0e1be46f6a
 2019-09-27 09:21:01 +02:00
Translation updater bot 7434ff3df6 Localisation updates from https://translatewiki.net. 
Change-Id: I5209f7c8c718ff3b9b56d154eaeb6ef6c832e12d
 2019-08-21 10:05:46 +02:00
Translation updater bot e95f7d2357 Localisation updates from https://translatewiki.net. 
Change-Id: I540b454b2370d25037a4da0b0d24e6195482e6de
 2014-04-16 15:38:56 +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