Merge "Correct button colours of preference page when $wgUseMediaWikiUIEverywhere...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 17 Sep 2014 01:12:36 +0000 (01:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 17 Sep 2014 01:12:36 +0000 (01:12 +0000)
commitc60bf707f9937ebbb85589777b59ad15cc09b756
treea6675ed9ea97004b11d1e0671856c1376b2b4f1b
parent0d48189c28817572399be94eed686229d091466a
parent274978205c0ef8e06f2de183660331004dd5fd41
Merge "Correct button colours of preference page when $wgUseMediaWikiUIEverywhere is enabled"