Thread:Extension talk:Header Tabs/HeaderTabs + MW 1.19.2/reply (4)

Done. I'm now using Extension:SlimboxThumbs, which (apart from one minor issue) seems to work just fine.