Login Login
MORE

WIDGETS

Widgets

Wanted articles
Who is online?
Article tools

Wiki:Installare Estensioni

From Aino Wiki

Jump to: navigation, search

Le estensioni, ufficialmente, son disponibili qui: ExtensionDistributor

Installare una estensione è generalmente semplice:

  • scaricare il file compresso dell'estensione;
  • creare la cartella che dovrà contenerla nel percorso:

extensions/

  • modificare il file LocalSettings.php aggiungendo in coda un'istruzione che abiliti l'enstensione, tipicamente si specifica a quali permessi l'utente dovrà sottostare per disporre dell'estensione e l'indicazione del percorso dove reperire i files PHP relaiti all'estensione.
# Per l'estensione DeleteHistory
$wgGroupPermissions['sysop']['DeleteHistory'] = true;
include('extensions/DeleteHistory/DeleteHistory.php');

Estensioni consigliate

BlueSpice

Quella che attualmente stò usando e che incapsula l'intera applicazione è BlueSpice
Altre notizie: da WikiPedia, da MediaWiki.
Installazione: Guida ufficiale


Wiki

Author Giuseppe AINO