wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 02:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
5756 commits 155 branches 0 tags 71 MiB
Commit graph

2 commits

Author SHA1 Message Date
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
Moriel Schottlender 311c3aad8f Restore echo.alert styles 
Change-Id: I079d59b9d9dfea5b53dc2fb73d0a054ba3d7e270
 2015-09-04 16:36:01 -07:00