From: Prtksxna <psaxena@wikimedia.org>
Date: Tue, 4 Nov 2014 12:10:39 +0000 (+0000)
Subject: Merge "mediawiki.ui: Remove dead code from checkbox"
X-Git-Tag: 1.31.0-rc.0~13402
X-Git-Url: http://git.cyclocoop.org/%40spipnet%40?a=commitdiff_plain;h=5d61a607211777c836d300eec772ce849187a158;p=lhc%2Fweb%2Fwiklou.git

Merge "mediawiki.ui: Remove dead code from checkbox"
---

5d61a607211777c836d300eec772ce849187a158