Merge "mediawiki.ui: Add @activeColor argument to the .button-colors() mixin"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Jul 2015 04:45:24 +0000 (04:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Jul 2015 04:45:24 +0000 (04:45 +0000)
commit9771b003756bfe3825bf7427efca6393ed96597b
tree53968d6721274b2cd6cd81689a8fde280752eaf3
parenteba9321b2b75823f8e9797398f44944e8a05389a
parented38734dd474d889c2353e34138119b41cd1d61a
Merge "mediawiki.ui: Add @activeColor argument to the .button-colors() mixin"
resources/src/mediawiki.less/mediawiki.ui/variables.less