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

5 commits

Author SHA1 Message Date
Umherirrender fee338e719 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: Iacceced4b25b59e32f38e53b9ec2dd9df8193477
 2017-08-19 09:40:58 +02:00
Umherirrender 453335f16e Fix indent in json files 
Change-Id: Id873facdf4d0aece5883f3ced79f7fb17aa6de8a
 2017-07-18 20:14:34 +02:00
Ed Sanders 7b01a98ad0 VisualEditor source mode support 
Long-term todo:
* Performance will be poor on large pages due
  to using a auto-height textarea which CodeMirror
  doesn't optimise.

Change-Id: I16598fcdbeee51e6fae88376ec81f1c8552b383d
 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