[MediaWiki-commits] [Gerrit] ButtonInputWidget: Disable generating `label` elements - change (oojs/ui)

2015-07-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: ButtonInputWidget: Disable generating `label` elements .. ButtonInputWidget: Disable generating `label` elements One would very rarely need additional

[MediaWiki-commits] [Gerrit] ButtonInputWidget: Disable generating `label` elements - change (oojs/ui)

2015-07-09 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/223821 Change subject: ButtonInputWidget: Disable generating `label` elements .. ButtonInputWidget: Disable generating `label` elements