wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-27 17:51:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../.jshintignore

3 lines
63 B
Plaintext
Raw Normal View History

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 13:30:41 +00:00
# Someone should make this pass...
modules/ext.categoryTree.js
Reference in a new issue Copy permalink