Merge "mediawiki.ui: Bring checkbox and radio on par with WikimediaUI design"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 Aug 2017 15:44:30 +0000 (15:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 Aug 2017 15:44:30 +0000 (15:44 +0000)
commiteed40548aebee311531108460da91c39296656e9
tree8661a4630e9f89d35a914675e73b91d1c95df99f
parent9b8b314992ea7d11ee77e6f3cfe180f647e3cb0f
parente491f22d8b1ada180b3c33f13227f8795d68ce0c
Merge "mediawiki.ui: Bring checkbox and radio on par with WikimediaUI design"