Update to MediaWiki 1.24.1

1 files changed, 66 insertions, 0 deletions

diff --git a/resources/src/jquery/jquery.footHovzer.js b/resources/src/jquery/jquery.footHovzer.js
new file mode 100644
index 00000000..de745c33
--- /dev/null
+++ b/resources/src/jquery/jquery.footHovzer.js
@@ -0,0 +1,66 @@
+/**
+ * @class jQuery.plugin.footHovzer
+ */
+( function ( $ ) {
+	var $hovzer, footHovzer, prevHeight, newHeight;
+
+	function getHovzer() {
+		if ( $hovzer === undefined ) {
+			$hovzer = $( '<div id="jquery-foot-hovzer"></div>' ).appendTo( 'body' );
+		}
+		return $hovzer;
+	}
+
+	/**
+	 * Utility to stack stuff in an overlay fixed on the bottom of the page.
+	 *
+	 * Usage:
+	 *
+	 *     var hovzer = $.getFootHovzer();
+	 *     hovzer.$.append( $myCollection );
+	 *     hovzer.update();
+	 *
+	 * @static
+	 * @inheritable
+	 * @return {jQuery.footHovzer}
+	 */
+	$.getFootHovzer = function () {
+		footHovzer.$ = getHovzer();
+		return footHovzer;
+	};
+
+	/**
+	 * @private
+	 * @class jQuery.footHovzer
+	 */
+	footHovzer = {
+
+		/**
+		 * @property {jQuery} $ The stack container
+		 */
+
+		/**
+		 * Update dimensions of stack to account for changes in the subtree.
+		 */
+		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;
+			}
+		}
+	};
+
+	/**
+	 * @class jQuery
+	 * @mixins jQuery.plugin.footHovzer
+	 */
+
+}( jQuery ) );