Thread:Extension talk:Header Tabs/Incompatible with MobileFrontend?/reply

I don't know whether or how this can be fixed, but I put in a note in the documentation about the current conflict between the two extensions.