wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-12-16 08:24:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
1420 commits 12 branches 17 tags 23 MiB
Commit graph

3 commits

Author SHA1 Message Date
James D. Forrester e315e954a6 build: Replace jshint and jscs with eslint; drop csslint 
Removing csslint rather than replacing it with stylelint as there
are no CSS or LESS files in this repo.

Also bumping banana and jsonlint to latest.

Change-Id: I9ffce273f63b061e07c3fa90ab4e82b5e551aa92
 2017-08-03 17:24:34 -07:00
Kunal Mehta 4b886a4ae5 build: Adding configuration for jsonlint 
Change-Id: Ib8b38fa5afaa25057c61d9b7e266d4b37382bea7
 2015-06-11 21:50:10 -07:00
Roan Kattouw 8b9bc3a44f Add Grunt infrastructure for CI 
* Add package.json based on Flow's
* Add Gruntfile.js based on Flow's
* Add .csslintrc and .jscsrc with rules to silence errors for now
* Add .gitignore (!) to ignore node_modules/

Change-Id: I2db213da2f0ce77567f7968e73af9cdd6ed9da82
 2015-05-01 20:50:15 -07:00