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