Thread:LordTBT/@comment-99965-20121003163333/@comment-171752-20130102180022

I'm back to work, so I'm just now seeing your last message. It appears that you figured out what the issue was and fixed it, i.e. the name for that page element was changed from WikiHeaderRestyle to WikiHeader.