MediaWiki:Gadget-HotCat.js/local defaults

if (typeof (window.HotCat) != 'undefined') {
  window.HotCat.disable = (function (default_disable) {
    return function () {
      return mw.config.get( 'wgArticleId' ) == 0 || default_disable();
    };
  })(window.HotCat.disable);
}