<?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';
# |
Change |
User |
Description |
Committed |
|
#1
|
7107 |
Sam Stafford |
Import Usage Statistics extension. |
|
|