Merge "Bring legacy/mediawiki.ui messages closer to Style Guide & ensure contrast"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Jul 2019 18:59:04 +0000 (18:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Jul 2019 18:59:04 +0000 (18:59 +0000)
commit0077c00742c9d40ab21d9530849cdcf56ea9b562
treeba9c63b0005d70165e2f86be871a0cdf67d72f71
parent743007a4d8245f45b11033386707ab118a4f460b
parent4067449ab5308b1b467b13ed1561c8e06ea58469
Merge "Bring legacy/mediawiki.ui messages closer to Style Guide & ensure contrast"