wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-12-03 12:36:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
1480 commits 12 branches 25 tags 20 MiB
Commit graph

3 commits

Author SHA1 Message Date
Alex Monk 680cdd688a Use an API module instead of the old (to be removed) ajax functions 
Also removes some stuff that appears unused.
Caching depends on Ia18874c9

Bug: T92788
Change-Id: I4d106d8fbfd799a15ef3f8eda06c437b234ec218
 2016-01-25 18:26:40 +00:00
Siebrand Mazeland 40e372f8e8 Update identation to use tabs 
Change-Id: I371b6c96f817ee9396444b984389677aeaaf3914
 2015-10-12 09:05:12 +02: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