jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/347527 )

Change subject: stylelint: Drop 'no-unsupported-browser-features' rule, no 
longer supported
......................................................................


stylelint: Drop 'no-unsupported-browser-features' rule, no longer supported

Change-Id: Ib74a4ebeb4502f16cb7095bcb94db3a994a22e4c
---
M modules/rcfilters-highlight-tour.less
1 file changed, 0 insertions(+), 2 deletions(-)

Approvals:
  Catrope: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/rcfilters-highlight-tour.less 
b/modules/rcfilters-highlight-tour.less
index b4cd1c8..47a6a00 100644
--- a/modules/rcfilters-highlight-tour.less
+++ b/modules/rcfilters-highlight-tour.less
@@ -31,14 +31,12 @@
        bottom: -20px;
        left: ~"calc(50% - 20px)";
        opacity: 0;
-       /* stylelint-disable no-unsupported-browser-features */
        -webkit-animation: pulse 3s ease-out;
        -moz-animation: pulse 3s ease-out;
        animation: pulse 3s ease-out;
        -webkit-animation-iteration-count: infinite;
        -moz-animation-iteration-count: infinite;
        animation-iteration-count: infinite;
-       /* stylelint-enable no-unsupported-browser-features */
 }
 
 .rcfilters-tour-highlight-stillDot {

-- 
To view, visit https://gerrit.wikimedia.org/r/347527
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib74a4ebeb4502f16cb7095bcb94db3a994a22e4c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaMessages
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Catrope <r...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to