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 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( '
  • ' ).parent().parent(); + if ( $portlet.hasClass( 'vectorTabs' ) ) { + var $item = $link.wrap( '
  • ' ).parent().parent(); + } else { + var $item = $link.wrap( '
  • ' ).parent(); + } // Implement the properties passed to the function if ( id ) {