Extension:Header/1.0
This is the current version of Extension:Header.
Code
[edit]- Header.php
<?php
if ( !isset( $wgHeader ) ) # If $wgHeader is not defined,
{
$wgHeader='Error, please define $wgHeader before including Header.php'; #Return an error message as $wgHeader
}
echo '<!DOCTYPE html>'.$wgHeader; #Define $wgheader as html and put it at the top of the page.
$wgExtensionCredits['validextensionclass'][] = array(
'path' => __FILE__,
'name' => 'Header',
'author' =>'iggyvolz',
'url' => 'https://www.mediawiki.org/wiki/Extension:Header',
'description' => 'Creates an HTML header on all Mediawiki pages.',
'version' => 1.0,
);
Readme
[edit]Installation instructions are avaliable on the main page.
Changelog
[edit]Initial version. Should be compatible with all versions of Mediawiki.