HostStats.php

<?php
/**
 * The HostStats extension adds a special page that displays 
 * the statistics of the host that the wiki is running on.
 * 
 * This extension may expose some private information about 
 * your server, so please use it with care, especially when 
 * you change $wgHostStatsCommands below.
 * 
 * @file
 * @ingroup Extensions
 */

$wgExtensionCredits['specialpage'][] = array(
	'path' => __FILE__,
	'name' => 'HostStats',
	'author' => 'Hydriz',
	'url' => 'https://www.mediawiki.org/wiki/Extension:HostStats',
	'descriptionmsg' => 'hoststats-desc',
	'version' => '1.3alpha',
	'license-name' => 'GPL-3.0+',
);

// An array of commands that you wish to run and output.
$wgHostStatsCommands = array(
	'hostname',
	'df -h'
);

$dir = dirname(__FILE__) . '/';
$wgAutoloadClasses['SpecialHostStats'] = $dir . 'SpecialHostStats.php';
$wgExtensionMessagesFiles['HostStats'] = $dir . 'HostStats.i18n.php';
$wgMessagesDirs['HostStats'] = __DIR__ . '/i18n';
$wgSpecialPages['HostStats'] = 'SpecialHostStats';
$wgSpecialPageGroups['HostStats'] = 'wiki';