jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/371600 )
Change subject: WikimediaUI theme: Remove unnecessary selector in
CheckboxInputWidget
......................................................................
WikimediaUI theme: Remove unnecessary selector in CheckboxInputWidget
Removing unnecessary `:disabled:hover + span` selector in
CheckboxInputWidget, which was introduced in I96daa17d5451.
Change-Id: Iee293016bc75e4fab63cfa25ebcffd0d7007f7c1
---
M src/themes/wikimediaui/widgets.less
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
Prtksxna: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/wikimediaui/widgets.less
b/src/themes/wikimediaui/widgets.less
index 64160af..1e7daa3 100644
--- a/src/themes/wikimediaui/widgets.less
+++ b/src/themes/wikimediaui/widgets.less
@@ -380,10 +380,6 @@
background-color:
@background-color-filled--disabled;
border-color: @border-color-base--disabled;
}
- &:hover + span {
- background-color:
@background-color-filled--disabled;
- border-color: @border-color-base--disabled;
- }
}
}
--
To view, visit https://gerrit.wikimedia.org/r/371600
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iee293016bc75e4fab63cfa25ebcffd0d7007f7c1
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: Prtksxna <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
