MediaWiki/LocalSettings.php

Indice del libro

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