Remove obsolete animation vendor prefix

Opera 12.10 supported unprefixed animations, gradients, transforms &
transitions. See http://www.opera.com/docs/changelogs/unified/1210/
Opera 15 used Blink and was supported up to v30 with
`-webkit` prefix.

Change-Id: Ie8edbcd7f85c713ea2156706ea3a3a7b423d8d9d

diff --git a/resources/src/mediawiki.less/mediawiki.mixins.animation.less b/resources/src/mediawiki.less/mediawiki.mixins.animation.less
index 651a018..266834c 100644 (file)
--- a/resources/src/mediawiki.less/mediawiki.mixins.animation.less
+++ b/resources/src/mediawiki.less/mediawiki.mixins.animation.less
@@ -1,8 +1,7 @@
 .animation( ... ) {
        -webkit-animation: @arguments; // Chrome 4-42, Safari 4-8, Opera 15-29, Android 2.1-4.4.4
        -moz-animation: @arguments; // Firefox 5-15
-       -o-animation: @arguments; // Opera 12.1
-       animation: @arguments; // Chrome 43+, Firefox 16+, IE 10+, Edge 12+, Safari 9+, Opera 30+, iOS 9+, Android 47+
+       animation: @arguments; // Chrome 43+, Firefox 16+, IE 10+, Edge 12+, Safari 9+, Opera 12.10 & 30+, iOS 9+, Android 47+
 }
 
 .transform-rotate( @deg ) {