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\"
.