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