[MediaWiki-commits] [Gerrit] Remove unused JS checkbox code - change (mediawiki...BetaFeatures)

2014-09-20 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/161695 Change subject: Remove unused JS checkbox code .. Remove unused JS checkbox code Follow-up to

[MediaWiki-commits] [Gerrit] Remove unused JS checkbox code - change (mediawiki...BetaFeatures)

2014-09-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove unused JS checkbox code .. Remove unused JS checkbox code Follow-up to b25446e3b0bc2e95a90e1b8951f9774563ccb354. Change-Id: