Extension:Header
 | 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. Note: No localisation updates are provided for this extension by translatewiki.net. |
 | 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 |
|
|---|---|
 |
|
| 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]- 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
[edit]There is only 1 paramater as of version 1.0:
- $wgHeader
- Your desired header. Can contain HTML, however any
"must be replaced with\".