 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\".
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.