This extension stores its source code on a wiki page. Please be aware that this code may be unreviewed or maliciously altered. They may contain security holes, outdated interfaces that are no longer compatible etc.
request access to MediaWiki's code repository to address this.
This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored.
Release status: unmaintained
|Description||Adds a header to the top of a page.|
|Latest version||1.0 (2012-08-10)|
|License||Creative Commons Attribution 3.0|
The Header extension adds a header to every page on your wiki.
- 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";
There is only 1 paramater as of version 1.0:
- Your desired header. Can contain HTML, however any
"must be replaced with