Merge "Make $wgMWLoggerDefaultSpi more expressive"
[mediawiki.git] / resources / src / mediawiki.less / mediawiki.mixins.rotation.less
blobe28b333f97238ddb53c9d5f97243206894a9d713
1 // This is a separate file because importing the mixin causes
2 // the keyframes blocks to be included in the output, regardless
3 // of whether .rotation is used.
4 @import "mediawiki.mixins.animation";
6 .rotate-frames () {
7         from {
8                 .transform-rotate(0deg);
9         }
10         to {
11                 .transform-rotate(360deg);
12         }
15 @-webkit-keyframes rotate {
16         .rotate-frames;
19 @-moz-keyframes rotate {
20         .rotate-frames;
23 @-o-keyframes rotate {
24         .rotate-frames;
27 @keyframes rotate {
28         .rotate-frames;
31 .rotation( @time ) {
32         .animation(rotate, @time, infinite, linear);