From a56451b06e44187aafd2368778959ce953a43f67 Mon Sep 17 00:00:00 2001
From: Matthew Flaschen <mflaschen@wikimedia.org>
Date: Wed, 19 Feb 2014 22:24:48 -0500
Subject: [PATCH] Break out rotation mixin into its own file

Before, including mediawiki.mixins always caused keyframes to appear
in the output, regardless of whether .rotation was used.

Change-Id: Ibdd092ccc6dafd444407a6756c33830396f56b50
---
 .../mediawiki.less/mediawiki.mixins.less      | 29 -----------------
 .../mediawiki.mixins.rotation.less            | 31 +++++++++++++++++++
 skins/vector/components/watchstar.less        |  2 ++
 3 files changed, 33 insertions(+), 29 deletions(-)
 create mode 100644 resources/mediawiki.less/mediawiki.mixins.rotation.less

diff --git a/resources/mediawiki.less/mediawiki.mixins.less b/resources/mediawiki.less/mediawiki.mixins.less
index d116008940..80b68cc28c 100644
--- a/resources/mediawiki.less/mediawiki.mixins.less
+++ b/resources/mediawiki.less/mediawiki.mixins.less
@@ -51,32 +51,3 @@
 	-webkit-transition: @string;
 	transition: @string;
 }
-
-@-webkit-keyframes rotate {
-	from {
-		-webkit-transform:rotate(0deg);
-	}
-	to {
-		-webkit-transform:rotate(360deg);
-	}
-}
-
-@keyframes rotate {
-	from {
-		transform: rotate(0deg);
-	}
-	to {
-		transform: rotate(360deg);
-	}
-}
-
-.rotation(@time) {
-	-webkit-animation-name: rotate;
-	-webkit-animation-duration: @time;
-	-webkit-animation-iteration-count: infinite;
-	-webkit-animation-timing-function: linear;
-	animation-name: rotate;
-	animation-duration: @time;
-	animation-iteration-count: infinite;
-	animation-timing-function: linear;
-}
diff --git a/resources/mediawiki.less/mediawiki.mixins.rotation.less b/resources/mediawiki.less/mediawiki.mixins.rotation.less
new file mode 100644
index 0000000000..82de5ded90
--- /dev/null
+++ b/resources/mediawiki.less/mediawiki.mixins.rotation.less
@@ -0,0 +1,31 @@
+// 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.
+@-webkit-keyframes rotate {
+	from {
+		-webkit-transform:rotate(0deg);
+	}
+	to {
+		-webkit-transform:rotate(360deg);
+	}
+}
+
+@keyframes rotate {
+	from {
+		transform: rotate(0deg);
+	}
+	to {
+		transform: rotate(360deg);
+	}
+}
+
+.rotation(@time) {
+	-webkit-animation-name: rotate;
+	-webkit-animation-duration: @time;
+	-webkit-animation-iteration-count: infinite;
+	-webkit-animation-timing-function: linear;
+	animation-name: rotate;
+	animation-duration: @time;
+	animation-iteration-count: infinite;
+	animation-timing-function: linear;
+}
diff --git a/skins/vector/components/watchstar.less b/skins/vector/components/watchstar.less
index 6e4a7b35c3..b76a825d91 100644
--- a/skins/vector/components/watchstar.less
+++ b/skins/vector/components/watchstar.less
@@ -1,3 +1,5 @@
+@import "mediawiki.mixins.rotation"
+
 /* Watch/Unwatch Icon Styling */
 #ca-unwatch.icon a,
 #ca-watch.icon a {
-- 
2.20.1