SpecialUserStats.php #1

<?php
if (!defined('MEDIAWIKI')) die();
/**
 * A Special Page extension to display user statistics
 *
 * @package MediaWiki
 * @subpackage Extensions
 *
 * @author Paul Grinberg <gri6507@yahoo.com>
 * @copyright Copyright © 2007, Paul Grinberg
 * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0 or later
 */

$wgExtensionCredits['specialpage'][] = array(
	'name'           => 'UserStats',
	'version'        => 'v1.11.3',
	'author'         => 'Paul Grinberg',
	'email'          => 'gri6507 at yahoo dot com',
	'url'            => 'http://www.mediawiki.org/wiki/Extension:Usage_Statistics',
	'description'    => 'Show individual user and overall wiki usage statistics',
	'descriptionmsg' => 'usagestatistics-desc',
);

# By default, the graphs are generated using the gnuplot extension.
# However, the user can optionally use Google Charts to generate the
# graphs instead. To do so, set the following to 1
$wgUserStatsGoogleCharts = 0;

$wgUserStatsGlobalRight = 'viewsystemstats';
$wgAvailableRights[] = 'viewsystemstats';

# define the permissions to view systemwide statistics
$wgGroupPermissions['*'][$wgUserStatsGlobalRight] = false;
$wgGroupPermissions['manager'][$wgUserStatsGlobalRight] = true;
$wgGroupPermissions['sysop'][$wgUserStatsGlobalRight] = true;

$dir = dirname(__FILE__) . '/';
$wgExtensionMessagesFiles['UserStats'] = $dir . '/SpecialUserStats.i18n.php';
$wgExtensionAliasesFiles['UserStats'] = $dir . 'SpecialUserStats.alias.php';
$wgAutoloadClasses['SpecialUserStats'] = $dir . '/SpecialUserStats_body.php';
$wgSpecialPages['SpecialUserStats'] = 'SpecialUserStats';
$wgSpecialPageGroups['SpecialUserStats'] = 'wiki';