Estensione:Info
Info Stato della release: stabile |
|
---|---|
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 | iSC Inc. |
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: Note: |
The Info extension adds an info tab on all normal pages, that allows us to display the site information quickly.
Installazione
- Scarica l'ultima versione e sposta il/i file in una directory chiamata
Info
nella tua cartellaextensions/
. - Aggiungi il seguente codice al tuo LocalSettings.php (preferibilmente alla fine):
require_once "$IP/extensions/Info/Info.php";
- Configurare se necessario
- Done – Naviga in Special:Version nella tua wiki per verificare che l'estensione sia stata installata correttamente.
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;
This extension was migrated from git.suriyaa.tk code and checked into a GitHub software repository. |