// This is a separate file because importing the mixin causes
// the keyframes blocks to be included in the output, regardless
// of whether .rotation is used.
@import 'mediawiki.mixins.animation';

.rotate-frames() {
	from {
		.transform-rotate( 0deg );
	}
	to {
		.transform-rotate( 360deg );
	}
}

@-webkit-keyframes rotate {
	.rotate-frames;
}

@-moz-keyframes rotate {
	.rotate-frames;
}

@keyframes rotate {
	.rotate-frames;
}

.rotation( @time ) {
	.animation( rotate, @time, infinite, linear );
}