# MediaWiki/LocalSettings.php

MediaWiki
Copertina Tutti i moduli · Sviluppo
IntroduzioneMediaWiki/Introduzione
Markup NamespaceMediaWiki/Namespace TemplateMediaWiki/Template Ricerca SkinMediaWiki/Le skin EdittoolsMediaWiki/Edittools Importazione ed esportazioneMediaWiki/Importazione ed esportazione API
PrerequisitiMediaWiki/Installare i programmi necessari - InstallazioneMediaWiki/Installazione - ConfigurazioneMediaWiki/Configurazione - LocalSettings.phpMediaWiki/LocalSettings.php UploadMediaWiki/Upload
Personalizzare la graficaMediaWiki/Personalizzare la grafica
* Hacking interfacciaMediaWiki/Hacking interfaccia
* La barra lateraleMediaWiki/La barra laterale
* La toolbar di modificaMediaWiki/
* Altre personalizzazioni graficheMediaWiki/Altre personalizzazioni grafiche
Cancellare vandalismi in Ultime modificheMediaWiki/Ultime modifiche Limitare l'accesso al wikiMediaWiki/Restrizioni di accesso AggiornamentoMediaWiki/Aggiornamento Dump JavascriptMediaWiki/Javascript AltroMediaWiki/Come fare per
Le estensioniMediaWiki/Estensioni
* Semantic MediaWikiMediaWiki/Semantic MediaWiki
* Formule matematicheMediaWiki/TeX
* Estensione CollectionMediaWiki/Estensione Collection
* Estensione WarnNoCategoriesMediaWiki/Estensione WarnNoCategories
Contribuire allo sviluppo di MediaWikiMediaWiki/Contribuire Grammatica del markup GlossarioMediaWiki/Glossario
Modifica il sommario
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

Il file contiene
* le variabili che configurano il wiki;
* le istruzioni che attivano le estensioni di MediaWiki installate a parte.

### Configurare le variabili

Le 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

Di 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

Di seguito sono affrontati i permessi che interessano gli utenti del wiki.

### Permessi

Le 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) oppure false (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 nel LocalSettings.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) oppure false (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.