Jump to content

Extension:Header

From mediawiki.org
MediaWiki extensions manual
Header
Release status: unmaintained
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
$wgHeader

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

Installation

[edit]
  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";

Configuration

[edit]

There is only 1 paramater as of version 1.0:

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