From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Wed, 9 Aug 2017 10:29:05 +0000 (+0000)
Subject: Merge "mediawiki.ui: Use WikimediaUI color for `@colorTextLight`"
X-Git-Tag: 1.31.0-rc.0~2443
X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=commitdiff_plain;h=910c7bfb338c67c95a5a98d6005164139d1c4458;hp=590f1bd8c261c882f23c2a404fbcc40ae4e5d460

Merge "mediawiki.ui: Use WikimediaUI color for `@colorTextLight`"
---

diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less
index d4937c67ce..ff74b6e8a7 100644
--- a/resources/src/mediawiki.less/mediawiki.ui/variables.less
+++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less
@@ -41,7 +41,7 @@
 
 // Text colors
 @colorText: @colorGray2;
-@colorTextLight: @colorGray6;
+@colorTextLight: @colorGray5;
 @colorButtonText: @colorGray2;
 @colorButtonTextHighlight: @colorGray4;
 @colorButtonTextActive: @colorGray1;