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 ic
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: I0be
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 designed