Merge "mediawiki.checkboxtoggle: Remove position=top"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 9 Jun 2016 18:03:47 +0000 (18:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 9 Jun 2016 18:03:47 +0000 (18:03 +0000)
commitf63fc405642333b70d8644ca8e601cf09122f19e
tree812cf16bc460d633695d079ba4c6918d210c9958
parentba6f199d10f20215e9034a61a7634f5611b5d5a6
parentd2f540f7c326d309aecd06440aa7ea0679c01a55
Merge "mediawiki.checkboxtoggle: Remove position=top"