MediaWiki:Gadget-MetaCategories.js

/* Show the categories box when all categories are hidden */

$(function {	if ( $('.catlinks-allhidden').children.length > 0 ) {		$('.catlinks-allhidden').show;	} });