mediawiki.ui: Remove unused `.mw-ui-checked` class
authorVolker E <volker.e@wikimedia.org>
Mon, 26 Nov 2018 02:04:17 +0000 (18:04 -0800)
committerVolker E <volker.e@wikimedia.org>
Mon, 26 Nov 2018 02:04:17 +0000 (18:04 -0800)
commitaa2b37ba9aba2ea9cab46d0d1b812485c8022d3a
treef94d3eb4b71934a0be6bb3beaddedad27542675e
parentea13092f947bfce84d7e03687ade5daf848be3b4
mediawiki.ui: Remove unused `.mw-ui-checked` class

Removing `.mw-ui-checked` as it is unused in current codebase.

Change-Id: I7a03215fae0b17dac41d85ffe1bb2634ec09f5c2
resources/src/mediawiki.ui/components/buttons.less