Merge "Optimise checkboxes for Firefox mobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 9 Oct 2014 22:37:54 +0000 (22:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 9 Oct 2014 22:37:54 +0000 (22:37 +0000)
commite46cf61517568c5a60f85c32631755d6b39b331b
treeda37c73ca5d1512e6de587edf689fc448211be91
parentf5cc464e3b8bf328a3ec5ed931f4d83b3487cff1
parent3c8be1f182d943f1409ea62a1c1d025f76e9ba0a
Merge "Optimise checkboxes for Firefox mobile"
resources/src/mediawiki.ui/components/checkbox.less