wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-20 03:51:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
3220 commits 13 branches 26 tags 37 MiB
Commit graph

53 commits

Author SHA1 Message Date
Translation updater bot 7d3956a734 Localisation updates from https://translatewiki.net. 
Change-Id: I34f781ecdd3c2003120b3c3da5a7c97e94a0d1d3
 2014-05-14 19:36:44 +00:00
Translation updater bot 078ec49dd3 Localisation updates from https://translatewiki.net. 
Change-Id: Ibe5389ea9bb1b5ffbffad68007a83a2332695d3a
 2014-04-16 15:56:06 +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