Thread:Extension talk:Header Tabs/parameters have no effect/reply (2)

Thanks, Yaron. Would be great to get a fix!

Forget about the 2nd part of my issue (the "Apache restart needed"). I guess this is due to my recently introduced PHP opcache, which seems not to work very well in this aspect (fix: had to change an opcache parameter to check filesystem changes).