Extensão:Info

Manual de extensões do MediaWiki

Info Estado de lançamento: instável
Implementação	Interface do utilizador
Descrição	Adds an info tab on all normal pages, allowing for quick info displaying
Autor(es)	Suriyaa Sundararuban (Suriyaa Kudodiscussão)
Responsável(eis)	Suriyaa Sundararuban
Última versão	2.0.0 (2019-06-08)
MediaWiki	1.29+
PHP	5.6+
Alterações à base de dados	Não
Licença	GNU - Licença Pública Geral 2.0 ou superior
Transferência	GitHub: project page git repository URL [help ] commit history Note: No localisation updates are provided by translatewiki.net .
Hooks utilizados SkinTemplateNavigation LocalisationCacheRecache

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

Instalação

• Faça o download da versão mais recente e coloque o ficheiro, ou ficheiros, num diretório chamado Info, na sua pasta extensions/.
• Only when installing from Git, run Composer to install PHP dependencies, by issuing composer install --no-dev in the extension directory. (See task T173141 for potential complications.)
• Acrescente o seguinte código ao fundo do ficheiro $LocalSettings:

  wfLoadExtension( 'Info' );
  

• Execute o script de atualização que irá criar automaticamente as tabelas da base de dados necessárias para esta extensão.
• Configure se necessário
•  Pronto – Na página especial Special:Version da sua wiki verifique se a extensão foi instalada.

Configuração

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;