--- /dev/null
+// 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 );
+}