Wiki:Installare Estensioni
From Aino Wiki
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
