From c1f9b1f7b1b77776192048005dcc66dcf3df2bfb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sat, 27 Dec 2014 15:41:37 +0100
Subject: Update to MediaWiki 1.24.1

---
 resources/jquery/jquery.footHovzer.js | 45 -----------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 resources/jquery/jquery.footHovzer.js

(limited to 'resources/jquery/jquery.footHovzer.js')

diff --git a/resources/jquery/jquery.footHovzer.js b/resources/jquery/jquery.footHovzer.js
deleted file mode 100644
index 56fc32d4..00000000
--- a/resources/jquery/jquery.footHovzer.js
+++ /dev/null
@@ -1,45 +0,0 @@
-/**
- * Utility to stack stuff in an overlay fixed on the bottom of the page.
- *
- * Usage:
- * <code>
- *     var hovzer = $.getFootHovzer();
- *     hovzer.$.append( $myCollection );
- *     hovzer.update();
- * </code>
- *
- * @author Timo Tijhof, 2012
- */
-( function ( $ ) {
-	var $hovzer, footHovzer, prevHeight, newHeight;
-
-	function getHovzer() {
-		if ( $hovzer === undefined ) {
-			$hovzer = $( '<div id="jquery-foot-hovzer"></div>' ).appendTo( 'body' );
-		}
-		return $hovzer;
-	}
-
-	footHovzer = {
-		update: function () {
-			var $body;
-
-			$body = $( 'body' );
-			if ( prevHeight === undefined ) {
-				prevHeight = getHovzer().outerHeight( /*includeMargin=*/true );
-				$body.css( 'paddingBottom', '+=' + prevHeight + 'px' );
-			} else {
-				newHeight = getHovzer().outerHeight( true );
-				$body.css( 'paddingBottom', ( parseFloat( $body.css( 'paddingBottom' ) ) - prevHeight ) + newHeight );
-
-				prevHeight = newHeight;
-			}
-		}
-	};
-
-	$.getFootHovzer = function () {
-		footHovzer.$ = getHovzer();
-		return footHovzer;
-	};
-
-}( jQuery ) );
-- 
cgit v1.2.3-54-g00ecf