MediaWiki

Extension:Header/1.0

< Extension:Header

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.

Retrieved from "https://www.mediawiki.org/w/index.php?title=Extension:Header/1.0&oldid=2508960"