wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 11:16:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
4019 commits 163 branches 0 tags 73 MiB
Commit graph

2 commits

Author SHA1 Message Date
Volker E 675d454bad build: Extend stylelint to further rules 
Extending stylelint to include further general rules
and remove obsolete .csslintrc file.

Change-Id: I6957cc3731c39f495e985c9dbd40363102e2e6f0
 2016-10-05 14:52:29 -07:00
Volker E 6d2e560c1e Introduce stylelint 
Introducing stylelint with configuration rules compliant to
Wikimedia CSS Coding Standards 'stylelint-config-wikimedia', nullifying
some for now and making majority pass.

Change-Id: I2c4acee41c9b56d9b00e2a2c5b7ab0ab5de454ce
 2016-10-04 18:15:02 -07:00