wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-14 09:44:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
173 commits 277 branches 0 tags 46 MiB
Commit graph

2 commits

Author SHA1 Message Date
Antoine Musso caf39a6bfe build: add jakub-onderka/php-console-highlighter 
Highlight PHP code when parallel-lint fails

Change-Id: Ie7582baa805457a0445a119bfd5fb859f693e51f
 2017-05-05 21:40:00 +02:00
Paladox 45ebd2d55d Update Jenkins tests 
Test jshint and jscs through npm using latest version of jscs and jshint.

Add support for composer.json running phplint and in the future php code
sniffer.

Change-Id: Id8f11f9414fae8313dc18a857a07e11694354dcb
 2016-03-03 13:29:48 +00:00