wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 10:56:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
3811 commits 13 branches 19 tags 77 MiB
Commit graph

3 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
Siebrand Mazeland 33126b69aa Update formatting 
In preparation of Code Sniffer based updates.

Change-Id: Id5d43332b44a37665d57dc24ef8c432bc65b2f6a
 2015-10-03 23:28:54 -04:00
Moriel Schottlender 311c3aad8f Restore echo.alert styles 
Change-Id: I079d59b9d9dfea5b53dc2fb73d0a054ba3d7e270
 2015-09-04 16:36:01 -07:00