MediaWiki:Gadget-HotCat.js/local defaults

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

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