]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - resources/src/mediawiki.less/mediawiki.mixins.rotation.less
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / resources / src / mediawiki.less / mediawiki.mixins.rotation.less
diff --git a/resources/src/mediawiki.less/mediawiki.mixins.rotation.less b/resources/src/mediawiki.less/mediawiki.mixins.rotation.less
new file mode 100644 (file)
index 0000000..64d6b3d
--- /dev/null
@@ -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 );
+}