Merge "mediawiki.ui: Remove unused `.mw-ui-checked` class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Nov 2018 20:30:31 +0000 (20:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Nov 2018 20:30:31 +0000 (20:30 +0000)
commitbc5068529160d0931c3f9989e205cf969d9b1713
treef84ae4b9814d38d16736ab9ec465ffe720057db3
parent6913ab4b5d5f90258fee2aba705bf105f055e870
parentaa2b37ba9aba2ea9cab46d0d1b812485c8022d3a
Merge "mediawiki.ui: Remove unused `.mw-ui-checked` class"