wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 10:56:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
4473 commits 13 branches 19 tags 77 MiB
Commit graph

101 commits

Author SHA1 Message Date
Siebrand Mazeland 0730ff8d67 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I45c23439d25b081d932ff4354fd3308122e5b186
 2014-03-26 15:22:57 +01:00