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