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

What's the difference to this post?