mediawiki.util.js.patch
Public
Actions

Authored By

	• bzimport
	Nov 21 2014, 11:32 PM

Size

842 B

Referenced Files

None

Subscribers

None

mediawiki.util.js.patch
View Options

	Index: mediawiki.util.js
	===================================================================
	--- mediawiki.util.js (revision 90716)
	+++ mediawiki.util.js (working copy)
	@@ -374,9 +374,13 @@
	// Unhide portlet if it was hidden before
	$portlet.removeClass( 'emptyPortlet' );

	- // Wrap the anchor tag in a <span> and create a list item for it
	+ // Wrap the anchor tag in a list item (and a span if $portlet is a Vector tab)
	// and back up the selector to the list item
	- var $item = $link.wrap( '<li><span></span></li>' ).parent().parent();
	+ if ( $portlet.hasClass( 'vectorTabs' ) ) {
	+ var $item = $link.wrap( '<li><span></span></li>' ).parent().parent();
	+ } else {
	+ var $item = $link.wrap( '<li></li>' ).parent();
	+ }

	// Implement the properties passed to the function
	if ( id ) {