wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-11 08:07:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
2294 commits 12 branches 26 tags 36 MiB
Commit graph

54 commits

Author SHA1 Message Date
Translation updater bot 739292df8b Localisation updates from https://translatewiki.net. 
Change-Id: I4cdd1f613610d8a1283f8c11c64d9f2db73db3b4
 2014-05-04 20:10:05 +00:00
Translation updater bot dd2abebe2a Localisation updates from https://translatewiki.net. 
Change-Id: Ib3bb78f0497359be1bbe65c89a5b22330aa13555
 2014-04-20 20:12:22 +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