From: jenkins-bot 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=-c Merge "mediawiki.ui: Use WikimediaUI color for `@colorTextLight`" --- 910c7bfb338c67c95a5a98d6005164139d1c4458