MediaWiki/LocalSettings.php
Il file LocalSettings.php
contiene le impostazioni del wiki. Può essere usato per configurare i permessi, le estensioni e le altre proprietà del wiki.
Questo file viene generato in automatico dalla procedura di installazione del wiki, quindi va portato all'interno della cartella in cui si trova MediaWiki.
Uso del file
modificaIl file contiene
- le variabili che configurano il wiki;
- le istruzioni che attivano le estensioni di MediaWiki installate a parte.
Configurare le variabili
modificaLe variabili che è possibile impostare sono descritte sul manuale ufficiale di MediaWiki. In particolare, alcune permettono di configurare i permessi degli utenti; la lista completa delle variabili e le modalità di configurazione sono descritte nel manuale ufficiale.
Le variabili che non sono impostate esplicitamente nel LocalSettings.php
assumono un valore di default che è indicato nel file /includes/DefaultSettings.php
. Per impostare una variabile al suo valore di default, si interviene nel file LocalSettings.php
:
- si cancella la riga che la configura,
- oppure la si fa precedere dal simbolo del cancelletto (#), che in PHP indica un commento.
Configurare le estensioni
modificaDi solito, l'installazione di un'estensione consiste di due passaggi:
- si copiano la cartella e/o il file .php dell'estensione nell'omonima cartella all'interno della cartella
extensions
di MediaWiki; - si attiva l'estensione aggiungendo in fondo al file LocalSettings la riga
require_once("$IP/extensions/NomeDell'Estensione/NomeDell'Estensione.php");
se è stata trasferita l'intera cartella dell'estensione,require_once("$IP/extensions/NomeDell'Estensione.php");
se è stato trasferito il solo file.php
.
Configurare permessi ed altri parametri del wiki
modificaDi seguito sono affrontati i permessi che interessano gli utenti del wiki.
Permessi
modificaLe righe che impostano i permessi hanno questa forma:
$wgGroupPermissions['gruppo']['permesso'] = valore;
dove
gruppo
indica il gruppo a cui concedere o negare il permesso;permesso
è il nome del permesso riconosciuto da MediaWiki;valore
ètrue
(concede il permesso) oppurefalse
(nega il permesso).- ...
I gruppi sono i seguenti:
*
indica tutti gli utenti, registrati o non registrati,user
indica gli utenti registrati,autoconfirmed
indica gli utenti registrati da un numero di giorni e con un numero di edit superiori ai valori minimi prefissati nelLocalSettings.php
(variabili $wgAutoConfirmAge e $wgAutoConfirmCount)- ...
Si possono creare nuovi gruppi scrivendo il nome di un gruppo che non rientra nei precedenti. Per esempio,
$wgGroupPermissions['solalettura']['edit'] = false;
crea un nuovo gruppo chiamato solalettura
e disabilita la modifica delle pagine per gli utenti che saranno inseriti in questo gruppo.
I permessi sono i seguenti:
read
è il permesso di leggere le pagine;edit
è il permesso di modificare le pagine;createaccount
è il permesso di creare account registrati;- ...
Altre righe hanno la forma
variabile = valore;
dove
variabile
è il nome di una delle variabili di MediaWiki,valore
ètrue
(vero) oppurefalse
(falso).
Alcuni permessi che si impostano in questa forma sono:
$wgEmailConfirmToEdit = true;
richiede la conferma dell'e-mail per poter editare;$wgWhitelistRead = array("Pagina principale", 'Speciale:UltimeModifiche' );
imposta un elenco di pagine che chiunque può visualizzare, inclusi coloro ai quali è stato negato il permesso di leggere le altre pagine del wiki (read
).$wgExtraNamespaces = array(100 => "Associazione", 101 => "Discussioni_associazione");
aggiunge due namespaces.- ...