[MediaWiki-commits] [Gerrit] oojs/ui[master]: NumberInputWidget: Use icons instead of labels

2017-05-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/352470 ) Change subject: NumberInputWidget: Use icons instead of labels .. NumberInputWidget: Use icons instead of labels Make use of

[MediaWiki-commits] [Gerrit] oojs/ui[master]: NumberInputWidget: Use icons instead of labels

2017-05-20 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/354782 ) Change subject: NumberInputWidget: Use icons instead of labels .. NumberInputWidget: Use icons instead of labels Change-Id:

[MediaWiki-commits] [Gerrit] oojs/ui[master]: NumberInputWidget: Use icons instead of labels

2017-05-07 Thread VolkerE (Code Review)
VolkerE has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/352470 ) Change subject: NumberInputWidget: Use icons instead of labels .. NumberInputWidget: Use icons instead of labels Make use of icons