[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Tweak badge styles

2016-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Tweak badge styles .. Tweak badge styles Bug: T141923 Bug: T142454 Change-Id: Id82681369ffcb41b18ea408fc8bdc7fdd7d65ec6 --- M modules/nojs/mw.echo.badge.l

[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Tweak badge styles

2016-08-12 Thread Catrope (Code Review)
Catrope has uploaded a new change for review. https://gerrit.wikimedia.org/r/304584 Change subject: Tweak badge styles .. Tweak badge styles Bug: T141923 Bug: T142454 Change-Id: Id82681369ffcb41b18ea408fc8bdc7fdd7d65ec6 --- M