wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-15 20:09:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
1779 commits 162 branches 5 tags 18 MiB
Commit graph

6 commits

Author SHA1 Message Date
Umherirrender 86570ed5c3 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: I947590725970745378da0b4e85b254efa0c2f169
 2017-08-19 09:37:30 +02:00
Fomafix 19d698b422 Change from jshint to eslint 
Change-Id: I9d8a31c8048f9d80e8395a637573272ca5f9fea5
 2017-04-30 10:47:34 +02:00
Antoine Musso 0aef89d5d4 build: add grunt-contrib-jshint 
See T119973

Change-Id: I468f8c680ba789a222b527ac93f69bef600f9eb3
 2017-04-21 18:24:02 +02:00
Umherirrender 400a3ad210 Add stylelint for css files 
Fixed the following rules:
color-hex-case
declaration-colon-space-after
indentation

Change-Id: I417137916607a25bab6a3c85a95b4c489fb8a8a5
 2017-04-17 19:52:24 +02:00
Kunal Mehta f5e8bf0800 build: Adding configuration for jsonlint 
Change-Id: I71675f504ec9b72a1cb8794fef01424fb716a2fb
 2015-06-11 21:30:57 -07:00
Kunal Mehta 48e700ffee test: Configuring banana-checker for i18n messages 
Change-Id: I473d1589ef8df5e30f690ef139c1f66869206a3e
 2015-04-20 20:19:20 -07:00