MediaWiki/LocalSettings.php

Wikibooks, manuali e libri di testo liberi.
Jump to navigation Jump to search

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[modifica]

Il file contiene

  • le variabili che configurano il wiki;
  • le istruzioni che attivano le estensioni di MediaWiki installate a parte.

Configurare le variabili[modifica]

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[modifica]

Di solito, l'installazione di un'estensione consiste di due passaggi:

  1. si copiano la cartella e/o il file .php dell'estensione nell'omonima cartella all'interno della cartella extensions di MediaWiki;
  2. 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[modifica]

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

Permessi[modifica]

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.
  • ...