Merge "TitleWidget: Upstream generic page icons from VE"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Sep 2017 16:34:23 +0000 (16:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Sep 2017 16:34:23 +0000 (16:34 +0000)
commit12686c2c4305b667777eeba1529f386b403add56
treebc98faafe8c40ff0bbd629e978a86dbc913319a5
parent63aea5b6de87e4e04d3a21c61ee8f701bafa723e
parentfb767c78f5d299d4f43ed501c59e71e6c592cb88
Merge "TitleWidget: Upstream generic page icons from VE"
resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less