[MediaWiki-commits] [Gerrit] MediaWiki Theme: Add radio buttons - change (oojs/ui)

2014-12-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: MediaWiki Theme: Add radio buttons .. MediaWiki Theme: Add radio buttons Change-Id: I77195752d83c9902aaf9809fdb4d7cd10c3f2052 --- M src/themes/mediawiki/i

[MediaWiki-commits] [Gerrit] MediaWiki Theme: Add radio buttons - change (oojs/ui)

2014-11-29 Thread Prtksxna (Code Review)
Prtksxna has uploaded a new change for review. https://gerrit.wikimedia.org/r/176398 Change subject: MediaWiki Theme: Add radio buttons .. MediaWiki Theme: Add radio buttons Change-Id: I77195752d83c9902aaf9809fdb4d7cd10c3f205