Extension:Header

The Header extension adds a header to every page on your wiki. HTML is allowed, but " must be proceeded by \"

Installation
$wgHeader="Your desired header"; require_once( "$IP/extensions/Header/Header.php" );
 * 1) Copy the code here to your_wiki/extensions/header/header.php.
 * 2) Add the following two lines to LocalSettings.php:
 * Note: If you have AutoExtensionLoader installed, find the following line:

require_once( "$IP/extensions/AutoExtensionLoader/AutoExtensionLoader.php" );
 * and add the following line before it:

$wgHeader="Your desired header";

Configuration parameters
There is only 1 paramater as of version :
 * $wgHeader: Your desired header. Can contain HTML, however any " must be replaced with \"

User rights
No user rights are associated with Extension:Header