Extension: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 |
Parameters
$wgHeader |
|
The Header extension adds a header to every page on your wiki.
Installation
- Copy the code here to your_wiki/extensions/Header/Header.php.
- Add the following two lines to LocalSettings.php:
$wgHeader="Your desired header";
require_once "$IP/extensions/Header/Header.php";
Configuration
There is only 1 paramater as of version 1.0:
- $wgHeader
- Your desired header. Can contain HTML, however any
"
must be replaced with\"
.