Merge "Correct mw-ui-icon size"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Jul 2015 10:27:08 +0000 (10:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Jul 2015 10:27:08 +0000 (10:27 +0000)
commitdfbbf90b249a3d80ff91a2b52d002812e42991a1
tree702d6043df26e0b3df094f828a74caa4b3ee832f
parent5de749d207b9ca7f15cd7ecb40f4c3a05f07f764
parentd8d172d886ae83130165c53335084c0b0590902d
Merge "Correct mw-ui-icon size"
resources/src/mediawiki.less/mediawiki.ui/variables.less