Thread:Extension talk:Header Tabs/Media Wiki 1.18 & Header Tabs/reply (2)

I'll second that. HeaderTabs works as advertised, no glitch caused by update.