< Extension:Header

This is the current version of Extension:Header.

Code

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

Installation instructions are avaliable on the main page.

Changelog

Initial version. Should be compatible with all versions of Mediawiki.

This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.