Merge "mw.widgets.TitleWidget: Update icons, use OOUI where possible"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 29 Apr 2019 17:06:58 +0000 (17:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Apr 2019 17:06:58 +0000 (17:06 +0000)
commitec13165104fe03801f420531bce6c141749f2d8b
tree31e7a5f8973ed4a6fc9bc54ecdb016cab1d75dee
parent350592ce2305b665e6ab8a018c55ea3d3a3b644e
parentd58d5cfcc22c6324556db62c35eb7d821ec7797b
Merge "mw.widgets.TitleWidget: Update icons, use OOUI where possible"