1 files changed, 29 insertions, 0 deletions
diff --git a/www/wiki/resources/src/mediawiki.less/mediawiki.mixins.rotation.less b/www/wiki/resources/src/mediawiki.less/mediawiki.mixins.rotation.less
new file mode 100644
index 00000000..64d6b3d6
--- /dev/null
+++ b/www/wiki/resources/src/mediawiki.less/mediawiki.mixins.rotation.less
@@ -0,0 +1,29 @@
+// 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 );
+}