Merge "mediawiki.ui: Remove deprecated color variables"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 22 Nov 2018 01:22:05 +0000 (01:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 22 Nov 2018 01:22:05 +0000 (01:22 +0000)
commit413c0e6a8659de69b0e124e80faa514593b32cf7
tree6691f7f975a6e566eb1e3101e85a9f1cbc68b61a
parentd18d73c1da5da958a2814a9e30d0a3bcbdb032c4
parent532384a00deb5a2fbd9639145ffe2edc284f15a3
Merge "mediawiki.ui: Remove deprecated color variables"