Estinzioni:Info

MediaWiki extensions manual

Info Release status: stable
Implementation	User interface
Description	Adds a info tab on all normal pages, allowing for quick info displaying
Author(s)	Suriyaa Sundararuban (Suriyaa Kudotalk)
Maintainer(s)	iSC Inc.
Latest version	1.0.0 (2017-09-04)
MediaWiki	1.29+
PHP	5.6+
Database changes	No
License	GNU General Public License 2.0 or later
Download	GitHub: project page git repository URL [help] commit history Note: No localisation updates are provided by translatewiki.net .
Hooks used SkinTemplateNavigation::Universal
Translate the Info extension if it is available at translatewiki.net
Check usage and version matrix.

The Info extension adds a info tab on all normal pages, that allows us to display the site information quickly.

Installation

• Download the latest release and place the file(s) in a directory called Info in your extensions/ folder.

• Add the following code at the bottom of your LocalSettings.php:

  require_once "$IP/extensions/Info/Info.php";
  

• Configure if required
•  Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

Configuration

This extension comes with an extra user right called "info" to allow fine grained control of its usage. By default it is assigned to the "user" user group, i.e. to all users with an account who are logged in. In case you would like to also assign it to anonymous users for them to make use of page info display functionality without the need of a post add the following code to your "LocalSettings.php" file right after invoking this extension:

$wgGroupPermissions['*']['info'] = true;

Revoking the permission for the "user" user group and granting it at the same time only to the "sysop" user group may be done by adding the following two lines:

$wgGroupPermissions['user']['info'] = false;
$wgGroupPermissions['sysop']['info'] = true;