Merge "mediawiki.ui: Use WikimediaUI color for `@colorTextLight`"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Aug 2017 10:29:05 +0000 (10:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Aug 2017 10:29:05 +0000 (10:29 +0000)
commit910c7bfb338c67c95a5a98d6005164139d1c4458
tree0e635df432b63bce7354b8f73b1e7b8f46de5708
parent590f1bd8c261c882f23c2a404fbcc40ae4e5d460
parent02fb8b38d21ac7167f1eb5a68014bc704e1ffceb
Merge "mediawiki.ui: Use WikimediaUI color for `@colorTextLight`"