MediaWiki:Gadget-HotCat.js/local defaults

HotCat.redir_category = 'Soft redirects'; HotCat.disambig_category = 'Disambiguation pages';

HotCat.messages.using = ' using HotCat'; HotCat.blacklist = /\bStubs$|^Disambiguation( pages)?$|^Soft redirects$/i; HotCat.single_minor = false; HotCat.use_up_down = false;