[MediaWiki-commits] [Gerrit] Remove unused button CSS (inherited from GuidersJS) - change (mediawiki...GuidedTour)

2013-12-24 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove unused button CSS (inherited from GuidersJS) .. Remove unused button CSS (inherited from GuidersJS) Add TODO about distinguishing buttons in the fu

[MediaWiki-commits] [Gerrit] Remove unused button CSS (inherited from GuidersJS) - change (mediawiki...GuidedTour)

2013-12-23 Thread Mattflaschen (Code Review)
Mattflaschen has uploaded a new change for review. https://gerrit.wikimedia.org/r/103491 Change subject: Remove unused button CSS (inherited from GuidersJS) .. Remove unused button CSS (inherited from GuidersJS) Add TODO abo