From 033e9a0593eec3b33496f6a3c32bdf44cfcda17f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= <matma.rex@gmail.com>
Date: Sun, 17 Jan 2016 23:24:10 +0100
Subject: [PATCH] mediawiki.mixins.rotation: Remove unnecessary @-o-keyframes

Opera 12, which this is meant for, understands unprefixed @keyframes.

Change-Id: Idc6c96dc343781fa894f5117869f7392c5a4aa7e
---
 resources/src/mediawiki.less/mediawiki.mixins.rotation.less | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/resources/src/mediawiki.less/mediawiki.mixins.rotation.less b/resources/src/mediawiki.less/mediawiki.mixins.rotation.less
index e28b333f97..85b6bd41ff 100644
--- a/resources/src/mediawiki.less/mediawiki.mixins.rotation.less
+++ b/resources/src/mediawiki.less/mediawiki.mixins.rotation.less
@@ -20,10 +20,6 @@
 	.rotate-frames;
 }
 
-@-o-keyframes rotate {
-	.rotate-frames;
-}
-
 @keyframes rotate {
 	.rotate-frames;
 }
-- 
2.20.1