Thread:Project:Support desk/Skinning Vector: html menu

Hi all,

I want to add a horizontal, external menu bar above the wiki using the vector skin. (Like HOME WIKI FAQ CONTACT ...)

Which .php file do I have to edit?

Is it possible to use html there?

Can't find anything in the forums. Thank you for your help.

MediaWiki 	1.24.2

PHP 	5.5.24 (cgi-fcgi)

MySQL 	5.5.43-0+deb7u1