Merge "mediawiki.checkboxtoggle: Fix minor issues."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 13 Jun 2016 20:41:40 +0000 (20:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 13 Jun 2016 20:41:40 +0000 (20:41 +0000)
commit7c4867fa94be9fc417184abbf181d3b04c563385
treec25b8d5caae957452570d1167368bdac2b2ca502
parentb9255066fd244c309056024c25ef77be44145a8b
parent67849a0e8c7c272c6eeb6fa517467834c8850929
Merge "mediawiki.checkboxtoggle: Fix minor issues."