wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 02:00:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
2707 commits 11 branches 26 tags 35 MiB
Commit graph

56 commits

Author SHA1 Message Date
Translation updater bot 7af19e6820 Localisation updates from https://translatewiki.net. 
Change-Id: I2fb6de17eac03a5cea985e8cd4faddeb11ad57a0
 2014-06-16 19:57:20 +00:00
Translation updater bot bcd01c99ab Localisation updates from https://translatewiki.net. 
Change-Id: Ief05cfc8aaf40f1705716293f7a06a9be99e6969
 2014-06-05 20:47:52 +00:00
Translation updater bot 94ac214975 Localisation updates from https://translatewiki.net. 
Change-Id: I43bcbf864396b6cfdf1a8daea53fe3d83ba35cf5
 2014-04-17 19:03:12 +00:00
Translation updater bot 078ec49dd3 Localisation updates from https://translatewiki.net. 
Change-Id: Ibe5389ea9bb1b5ffbffad68007a83a2332695d3a
 2014-04-16 15:56:06 +00:00
Translation updater bot 3899553ffe Localisation updates from https://translatewiki.net. 
Change-Id: I0736af029340f404df18da80b392d836368e699d
 2014-04-15 20:12:59 +00:00
Siebrand Mazeland 11f0e1ab32 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Id90e104793d3ca8243d0ef918b9bc91cf474c36d
 2014-03-29 17:14:05 +01:00