Estensione:Info

Manuale sulle Estensioni MediaWiki

Info Stato della release: instabile
Implementazione	User interface
Descrizione	Adds an info tab on all normal pages, allowing for quick info displaying
Autore(i)	Suriyaa Sundararuban (Suriyaa Kudodiscussione)
Mantenuta da	Suriyaa Sundararuban
Versione	2.0.0 (2019-06-08)
MediaWiki	1.29+
PHP	5.6+
Cambi della base di dati	No
Licenza	GNU General Public License 2.0 or later
Scaricare	GitHub: project page git repository URL [help ] commit history Note: No localisation updates are provided by translatewiki.net .
Hook usati SkinTemplateNavigation LocalisationCacheRecache
Verificare uso e versione della matrice.

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

Installazione

• {{$3|[[$2|Scarica]]|Scarica}} e sposta il/i file in una directory chiamata Info nella tua cartella extensions/.
• Solo durante l'installazione da git eseguire Composer per installare le dipendenze PHP, immettendo composer install --no-dev nella directory dell'estensione. (Vedere task T173141 per potenziali complicazioni.)
• Aggiungi il seguente codice al tuo LocalSettings.php (preferibilmente alla fine):

  wfLoadExtension( 'Info' );
  

• Esegui lo script di aggiornamento, che creerà automaticamente nel database le tavole necessarie a questa estensione.
• Configurare se necessario
•  Done – Naviga in Special:Version nella tua wiki per verificare che l'estensione sia stata installata correttamente.

Per gli utenti che eseguono MediaWiki 1.29 o versioni precedenti:

Le istruzioni sottostanti descrivono il nuovo metodo per installare questa estensione usando wfLoadExtension(). Se è necessario installare questa estensione su queste versioni precedenti (MediaWiki 1.29 e successive), al posto di wfLoadExtension( 'Info' );, devi usare:

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

Configurazione

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;