These options do not seem to function on both REL1_37 and master:
- wgHeaderTabsRenderSingleTab
- wgHeaderTabsEditTabLink
- wgHeaderTabsNoTabsInTOC
These options do not seem to function on both REL1_37 and master:
Sorry for the long delay in responding. The third variable was indeed an error in the documentation - it should be $wgHeaderTabsNoTabsInToc, not $wgHeaderTabsNoTabsInTOC. I just fixed it on the wiki page. When the name is set correctly, it seems to work fine. And actually, the other two variables seem to work fine also, with no changes. Maybe these are bugs that have been fixed somehow over the last year?
I'm closing this bug - unless I hear otherwise, I'm assuming that all three of these bugs have been fixed.