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.