$wgHeaderTabsDisableDefaultToc