Thread:Rappy/@comment-3508190-20121128144514/@comment-3030984-20121128161030

As all wikis now use the new navigation bar, the class WikiHeaderRestyle has been removed. Use WikiHeader instead.