[MediaWiki-commits] [Gerrit] Adjust arrow styles - change (mediawiki...RevisionSlider)

2016-05-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Adjust arrow styles .. Adjust arrow styles This introduces styles for "not available" arrow, and styles for hovered arrow and "active" (under left mouse

[MediaWiki-commits] [Gerrit] Adjust arrow styles - change (mediawiki...RevisionSlider)

2016-05-27 Thread WMDE-leszek (Code Review)
WMDE-leszek has uploaded a new change for review. https://gerrit.wikimedia.org/r/291241 Change subject: Adjust arrow styles .. Adjust arrow styles This introduces styles for "not available" arrow, and styles for hovered