Merge "mediawiki.ui: Remove dead code from checkbox"
authorPrtksxna <psaxena@wikimedia.org>
Tue, 4 Nov 2014 12:10:39 +0000 (12:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Nov 2014 12:10:39 +0000 (12:10 +0000)

Trivial merge