[MediaWiki-commits] [Gerrit] DecoratedOptionWidget: Add description and example - change (oojs/ui)
Kmenger has uploaded a new change for review. https://gerrit.wikimedia.org/r/194381 Change subject: DecoratedOptionWidget: Add description and example .. DecoratedOptionWidget: Add description and example Change-Id:
[MediaWiki-commits] [Gerrit] DecoratedOptionWidget: Add description and example - change (oojs/ui)
jenkins-bot has submitted this change and it was merged. Change subject: DecoratedOptionWidget: Add description and example .. DecoratedOptionWidget: Add description and example Change-Id: