wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-21 03:22:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
2774 commits 14 branches 16 tags 72 MiB
Commit graph

951 commits

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

Change-Id: I6931ff83b4358bbc55af3627f069201795700fd2
 2014-03-28 21:40:17 +01:00