jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/378345 )
Change subject: WikimediaUI theme: Remove unnecessary properties
......................................................................
WikimediaUI theme: Remove unnecessary properties
Removing `transition` properties from parent element as they are only
needed on the `-handle`.
Change-Id: I15863f71079aadd6649deba680d38ee76f615e34
---
M src/themes/wikimediaui/tools.less
1 file changed, 0 insertions(+), 5 deletions(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/src/themes/wikimediaui/tools.less
b/src/themes/wikimediaui/tools.less
index 0d0fba0..8f8a4c6 100644
--- a/src/themes/wikimediaui/tools.less
+++ b/src/themes/wikimediaui/tools.less
@@ -394,11 +394,6 @@
}
&.oo-ui-widget-enabled {
- .oo-ui-transition(
- background-color @transition-ease-quick,
- box-shadow @transition-ease-quick
- );
-
&.oo-ui-popupToolGroup-active {
box-shadow: inset 0 0.07em 0.07em 0 rgba( 0, 0, 0, 0.07
);
background-color: @background-color-tool--hover;
--
To view, visit https://gerrit.wikimedia.org/r/378345
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I15863f71079aadd6649deba680d38ee76f615e34
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
