Open main menu

Extension:Header

MediaWiki extensions manual
Crystal Clear action run.svg
Header
Release status: beta
Extensionheader.png
Implementation Notify
Description Adds a header to the top of a page.
Author(s) (iggyvolztalk)
Latest version 1.0 (2012-08-10)
MediaWiki 1.19+
PHP 5.2+
Database changes No
License Creative Commons Attribution 3.0
Download See here
CHANGELOG
Parameters
$wgHeader
Translate the Header extension if it is available at translatewiki.net
Check usage and version matrix.

The Header extension adds a header to every page on your wiki.

InstallationEdit

  1. Copy the code here to your_wiki/extensions/Header/Header.php.
  2. Add the following two lines to LocalSettings.php:
$wgHeader="Your desired header";
require_once "$IP/extensions/Header/Header.php";

ConfigurationEdit

There is only 1 paramater as of version 1.0:

$wgHeader
Your desired header. Can contain HTML, however any " must be replaced with \".