[MediaWiki-commits] [Gerrit] ButtonOptionWidget: Add the TabIndexedElement mixin - change (oojs/ui)

2015-01-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: ButtonOptionWidget: Add the TabIndexedElement mixin .. ButtonOptionWidget: Add the TabIndexedElement mixin This element should be keyboard navigable. It w

[MediaWiki-commits] [Gerrit] ButtonOptionWidget: Add the TabIndexedElement mixin - change (oojs/ui)

2015-01-29 Thread TheDJ (Code Review)
TheDJ has uploaded a new change for review. https://gerrit.wikimedia.org/r/187652 Change subject: ButtonOptionWidget: Add the TabIndexedElement mixin .. ButtonOptionWidget: Add the TabIndexedElement mixin This element should