[MediaWiki-commits] [Gerrit] mediawiki.checkboxtoggle: Fix minor issues. - change (mediawiki/core)

2016-06-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: mediawiki.checkboxtoggle: Fix minor issues. .. mediawiki.checkboxtoggle: Fix minor issues. Follows-up 606a21c, 79414f8, 870c5e2. * Mention class name in

[MediaWiki-commits] [Gerrit] mediawiki.checkboxtoggle: Fix minor issues. - change (mediawiki/core)

2016-06-13 Thread Jforrester (Code Review)
Jforrester has uploaded a new change for review. https://gerrit.wikimedia.org/r/294119 Change subject: mediawiki.checkboxtoggle: Fix minor issues. .. mediawiki.checkboxtoggle: Fix minor issues. Follows-up 606a21c, 79414f8,

[MediaWiki-commits] [Gerrit] mediawiki.checkboxtoggle: Fix minor issues. - change (mediawiki/core)

2016-06-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: mediawiki.checkboxtoggle: Fix minor issues. .. mediawiki.checkboxtoggle: Fix minor issues. Follows-up 606a21c, 79414f8, 870c5e2. * Mention class name in

[MediaWiki-commits] [Gerrit] mediawiki.checkboxtoggle: Fix minor issues. - change (mediawiki/core)

2016-06-13 Thread Krinkle (Code Review)
Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/294113 Change subject: mediawiki.checkboxtoggle: Fix minor issues. .. mediawiki.checkboxtoggle: Fix minor issues. Follows-up 606a21c, 79414f8,