Merge "widgets: Replace outdated colors with WikimediaUI palette ones"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 28 Aug 2017 10:04:21 +0000 (10:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 28 Aug 2017 10:04:21 +0000 (10:04 +0000)
commit24ea37bf927ca32c1bb85adcaa0ea71ee95cce28
tree89849671f25328953ad161440660d7238cbe1249
parent97980b1ba9009fcd1d04e7dd958b43ba0a137817
parentd075b6f45c8a5a53c9c1860804d6c57daf69b76b
Merge "widgets: Replace outdated colors with WikimediaUI palette ones"
resources/src/mediawiki.widgets/mw.widgets.StashedFileWidget.less
resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less