Checkboxes should be styled on non-JS browsers
authorjdlrobson <jdlrobson@gmail.com>
Wed, 20 Jun 2018 00:08:51 +0000 (17:08 -0700)
committerJdlrobson <jrobson@wikimedia.org>
Wed, 20 Jun 2018 19:34:20 +0000 (19:34 +0000)
commit91fb4977bcb9137cc8e379d773600f606068cec0
tree86030320ff8fe5bd75a69fbe22e3032277076cf0
parente9ed100496b388a31ac2af0deabcc9754984d09d
Checkboxes should be styled on non-JS browsers

Previously we didn't do this so that checkboxes worked on older
versions of Opera Mini.

This was added 3 years ago
(https://trello.com/c/D2FnYlmf/21-bug-fix-broken-settings-page-on-opera-mini)
https://imgur.com/a/DL6ASy4

This no longer seems to be a problem on more modern versions of
Opera Mini and given how this degrades the experience of more modern
browsers I propose we restore this styling.

Bug: T196947
Change-Id: I5f646b5c939e498eda9bec249658a969f3f91c5d
resources/src/mediawiki.ui/components/checkbox.less