wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-18 00:30:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
999 commits 13 branches 15 tags 50 MiB
Commit graph

60 commits

Author SHA1 Message Date
Ed Sanders 37b49bfdc4 build: Update eslint-config-wikimedia to 0.11.0 
Change-Id: I7ca5276791d9add0709387422016d7193e8d9945
 2019-03-06 12:10:29 +00:00
Ed Sanders 71dcfc6adb build: Update devDependencies 
Change-Id: Id99fb30b37e3951705fc52c76b1de6d9f73abf17
 2018-12-04 17:59:57 -05:00
Ed Sanders 1be09a9a1d build: Update linters 
Change-Id: I8d3aaf0b7d453033b72e5d6622b8f54df2c86bca
 2018-09-12 00:03:19 +01:00
Ed Sanders 86a862a3ac build: Update linters 
Change-Id: I13d8ebc6dfa430230a881711f30487e27703c76f
 2018-02-04 21:22:17 +00:00
Antoine Musso d62959ced9 build: mark package.json as private 
We do not release a npm package for this repository, the package.json
is solely for CI/build purposes.

Change-Id: I3da11273ff7876e83fdb278a504f9b1589e69991
 2017-08-01 15:45:07 +02:00
Ed Sanders 410e442fd1 build: Update eslint, stylelint 
Whitespace and regex escaping fixes

Change-Id: Ic706dfd3ed7efb16db104b054091bec0ba0cb5ed
 2017-07-20 15:58:31 +00:00
Umherirrender 453335f16e Fix indent in json files 
Change-Id: Id873facdf4d0aece5883f3ced79f7fb17aa6de8a
 2017-07-18 20:14:34 +02:00
Ed Sanders 59aed7d2e2 build: Update eslint to 0.4.0 and make a pass 
Change-Id: I580e7a2ed7276dc3b9546b497ecf2f8f4efe1aa6
 2017-05-08 16:54:10 +01:00
Ed Sanders 66ba217ba2 build: Replace jshint/jscs with eslint, introduce stylelint 
Change-Id: I9b5afb39f5a0d32e722b2a1f56c219b8c85b451c
 2017-03-21 16:45:56 +00: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