From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Mon, 13 Jun 2016 20:41:40 +0000 (+0000)
Subject: Merge "mediawiki.checkboxtoggle: Fix minor issues."
X-Git-Tag: 1.31.0-rc.0~6629
X-Git-Url: http://git.cyclocoop.org/%22.%24image2.%22?a=commitdiff_plain;h=7c4867fa94be9fc417184abbf181d3b04c563385;p=lhc%2Fweb%2Fwiklou.git

Merge "mediawiki.checkboxtoggle: Fix minor issues."
---

7c4867fa94be9fc417184abbf181d3b04c563385