wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-14 00:19:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
2746 commits 13 branches 16 tags 70 MiB
Commit graph

52 commits

Author SHA1 Message Date
Translation updater bot 9f0139fd83 Localisation updates from https://translatewiki.net. 
Change-Id: I4c7e856a4b165f7e2197880297a51acc6118453b
 2014-04-06 19:42:41 +00:00
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