wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2025-01-06 03:55:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
2911 commits 10 branches 26 tags 37 MiB
Commit graph

52 commits

Author SHA1 Message Date
Translation updater bot 9383e965cc Localisation updates from https://translatewiki.net. 
Change-Id: Ifb0d62921de70338552eade871e67aad69efde88
 2014-04-01 19:54:00 +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