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)
commit5d61a607211777c836d300eec772ce849187a158
tree7913c7e8ff358a6cd5520e3ea6093a30f2c71208
parent710c87ba183c684ebb84dba73015e57492c07d7c
parent84ddf0309a87418c36712b43a8ef621c2709842d
Merge "mediawiki.ui: Remove dead code from checkbox"