wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/badge
History
jdlrobson 430628ccc1 Hygiene: Port all Echo css to less. 
No changes.
Makes styling code more readable.

Change-Id: Ie45f2cd3671bee5b88ba92ca2946d6e77cd59508
2014-08-04 11:43:27 -07:00
..
ext.echo.badge.less Hygiene: Port all Echo css to less. 2014-08-04 11:43:27 -07:00
ext.echo.badge.modern.css Switch to using our own badge instead of jQuery.badge 2013-05-23 10:34:47 -07:00
ext.echo.badge.monobook.css Echo: Better support for non-default skins, as well as no Javascript 2013-06-07 11:36:19 -07:00