Difference between revisions of "Wiki:Installare Estensioni"

Latest revision as of 15:26, 23 July 2014

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