Merge "mediawiki.ui: checkbox: Remove unnecessary nesting and group variables"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 21 Nov 2014 20:08:10 +0000 (20:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 21 Nov 2014 20:08:10 +0000 (20:08 +0000)
commit40905bb087c0fa8063fc90723587cef0def28508
tree86c3972ae87fb0b7bd48eb642137cc8b098abf38
parent69372110e33da165ee0475100aa736369350955a
parenteba0af51fa99206dc47db0ace9a9b050c39f46fe
Merge "mediawiki.ui: checkbox: Remove unnecessary nesting and group variables"
resources/src/mediawiki.ui/components/checkbox.less