wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-15 03:33:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
1809 commits 277 branches 5 tags 13 MiB
Commit graph

4 commits

Author SHA1 Message Date
Umherirrender 8a92f50587 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: Ie9845533c08f8f879514904f1806c971681c5e65
 2017-08-19 09:39:39 +02:00
Umherirrender 600893038d Add stylelint for css files 
Change-Id: If66a0a3f2a0194ad24b5a07ba36fc4ac09b24dbc
 2017-04-17 20:08:25 +02:00
Kunal Mehta 32d5d39ea8 build: Adding configuration for jsonlint 
Change-Id: I9a927b554a3489e71316622196eae417a5d2c1fa
 2015-06-11 21:29:37 -07:00
Kunal Mehta 02ae8c272a test: Configuring banana-checker for i18n messages 
Change-Id: I361754666ecb5f66f043a4934668f15cedc07807
 2015-04-20 18:54:34 -07:00