wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-30 19:16:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
1883 commits 11 branches 25 tags 20 MiB
Commit graph

502 commits

Author SHA1 Message Date
Translation updater bot 825bd06c4c Localisation updates from https://translatewiki.net. 
Change-Id: I5820bd26e51207a760630a6fdb467748280e809f
 2014-03-25 20:48:53 +00:00
Siebrand Mazeland 1f6df56a60 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Add a file to .jshintignore to not make Jenkins block on something that's
not related to this patch set.

Change-Id: I9331d328746281a2eb7ec1317d557e8fd7931d74
 2014-03-25 14:55:24 +01:00