Extension:Header
 | This extension stores its source code on a editable wiki page rather than in a code repository. As a result, this code may be maliciously altered. It may contain security vulnerabilities, and will not receive localisation updates from translatewiki.net. Developers are strongly encouraged to host their code in a code repository rather than a wiki page so that the extension can be properly maintained, reviewed, and kept secure. |
 | 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 |
|
$wgHeader |
|
| Licence | Creative Commons Attribution 3.0 |
| Download | See here CHANGELOG |
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\".