wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-30 09:54:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
286 commits 11 branches 25 tags 27 MiB
Commit graph

3 commits

Author SHA1 Message Date
Paladox b6e9f6cca4 Add jshint and jscs to npm, Also add composer.json 
Instead of running the jshint test through jenkins, Run it through npm
instead.

Also add composer.json for running php code sniffer and phplint instead of
running phplint through jenkins.

Also update grunt-jsonlint to 1.0.6

Change-Id: Icd9aa1b1c7213d056aa5294a804341053141b0bd
 2015-11-29 12:03:16 +01:00
Kunal Mehta c71fb0bdda build: Configuring banana-checker and jsonlint 
Change-Id: I8b11109e8df32b61f017847a81ea34625592f475
 2015-06-15 14:54:28 -07:00
Reedy 0a4722e739 Add .gitignore 
Change-Id: I410d9ae4a58f2d9b69332cfd9c1a02820203ac90
 2012-05-21 01:31:34 +01:00