WikimediaUI theme: Remove unnecessary selector in CheckboxInputWidget

Authored by Volker E <volker.e@wikimedia.org> on Sat, Aug 12, 3:48 AM.

Description

WikimediaUI theme: Remove unnecessary selector in CheckboxInputWidget

Removing unnecessary :disabled:hover + span selector in
CheckboxInputWidget, which was introduced in I96daa17d5451.

Change-Id: Iee293016bc75e4fab63cfa25ebcffd0d7007f7c1

Details

Committed
Volker E <volker.e@wikimedia.org>Sat, Aug 12, 3:52 AM
Parents
rGOJUf10d7b1b8945: update mediawiki-codesniffer to 0.11.0 and fix issues
Branches
Unknown
Tags
Unknown
References
refs/changes/00/371600/2
ChangeId
Iee293016bc75e4fab63cfa25ebcffd0d7007f7c1
Volker E <volker.e@wikimedia.org> committed rGOJU05dbcce3a235: WikimediaUI theme: Remove unnecessary selector in CheckboxInputWidget (authored by Volker E <volker.e@wikimedia.org>).Sat, Aug 12, 3:52 AM