Update to MediaWiki 1.25.1

1 files changed, 0 insertions, 28 deletions

diff --git a/skins/Vector/components/animations.less b/skins/Vector/components/animations.less
deleted file mode 100644
index ab273dc0..00000000
--- a/skins/Vector/components/animations.less
+++ /dev/null
@@ -1,28 +0,0 @@
-/* Animate between standard and high definition layouts */
-body.vector-animateLayout {
-	.mw-body,
-	div#footer,
-	#left-navigation {
-		.transition(margin-left 250ms, padding 250ms;);
-	}
-
-	#p-logo {
-		.transition(left 250ms);
-	}
-
-	#mw-panel {
-		.transition(padding-right 250ms);
-	}
-
-	#p-search {
-		.transition(margin-right 250ms);
-	}
-
-	#p-personal {
-		.transition(right 250ms);
-	}
-
-	#mw-head-base {
-		.transition(margin-left 250ms);
-	}
-}