Thread:Extension talk:Header Tabs/Header Tabs displayed as bulleted list in mediawiki 1.23