wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2025-01-07 19:04:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
738 commits 11 branches 17 tags 23 MiB
Commit graph

2 commits

Author SHA1 Message Date
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