Thread:Extension talk:Header Tabs/Header Tabs 0.8 not fully compatible with Mediawiki 1.17?