MediaWiki/LocalSettings.php

Template:Manuale MediaWiki 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:

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

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 pemesso;
• 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,
• ...

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

Upload

L'upload di immagini, video o altri tipi di file viene attivato quando

• La cartella images è resa scrivibile (codice permessi "777");
• LocalSettings.php contiene la riga

$wgEnableUploads = true; Le indicazioni per la configurazione completa necessaria per l'upload sono descritte nel manuale ufficiale di MediaWiki.

Tipi di file

La variabile $wgFileExtensions definisce la lista di estensioni dei file di cui si vuole permettere l'upload. Ad esempio:
$wgFileExtensions = array('bmp', 'ogg');

Se la variabile $wgStrictFileExtensions viene impostata a true, MediaWiki vieta il caricamento di file le cui estensioni differiscono da quelle elencate. Se, invece, viene impostata a false, MediaWiki permette il caricamento anche di altri file, però mostra un avviso all'utente che carica un file con un'altra estensione.

Viceversa, è possibile vietare il caricamento di alcuni tipi di file specifici, elencando le rispettive estensioni nella variabile $wgFileBlacklist e/o i rispettivi tipi MIME nella variabile $wgMimeTypeBlacklist; ad esempio:

• $wgFileBlacklist = array('html', 'php', 'exe');
• $wgMimeTypeBlacklist = array('text/html', 'text/javascript');

Esistono variabili specializzate per alcuni tipi di file; tra queste:

• $wgAllowTitlesInSVG che permette l'uso dei tag <title> nei file SVG; questa variabile andrebbe impostata a true solo se si è certi che il server invia al browser il tipo MIME corretto, in quanto altrimenti potrebbe costituire un pericolo per la sicurezza dell'utente;
• ...

La variabile $wgUseCopyrightUpload attiva i campi "Fonte" e "Dettagli sul copyright" nella pagina di upload.

Permessi degli utenti

Le impostazioni di default abilitano l'upload solo per gli utenti registrati; è possibile modificare le impostazioni per consentire l'upload anche ai non registrati o per restringerlo a certi gruppi specifici di utenti.

L'upload per gli utenti anonimi viene abilitato assegnando $wgEnableUploads = true;
In aggiunta, è necessario impostare il permesso $wgGroupPermissions['*']['upload'] = true;

I permessi sono:

• upload permette di caricare i file.
• upload_by_url permette di caricare un file da URL.
• reupload permette di caricare una nuova versione di un file (richiede il permesso upload)
• ...

La dimensione massima di upload può essere impostata con la variabile $wgMaxUploadSize.

Upload da URL

Per abilitare l'upload da URL bisogna inserire la prossima riga
da settare però questa volta nel file DefaultSettings.php, che trovate dentro la cartella: /includes/.

$wgAllowCopyUploads = true;

Il permesso di caricare file da indirizzo Internet è upload_by_url e per default è concesso ai soli amministratori.

Aggiungete quindi il permesso adeguato sul LocalSettings, visto che di default, appare ai soli amministratori. Per esempio questo, se si vuole che sia aperto a tutti, (anche agli anonimi):

$wgGroupPermissions['*']['upload_by_url'] = true;
$wgAllowCopyUploads = true;

così, appena sopra la variabile.

Oppure, per i soli Utenti auto-confermatisi via mail, sarà così:

$wgGroupPermissions['autoconfirmed']['upload_by_url'] = true;
$wgAllowCopyUploads = true;

Per visualizzare sulle pagine del wiki un'immagine presente su un sito esterno, senza upload, si inserisce la riga
$wgAllowExternalImages = true;

Upload su un altro server

È possibile configurare MediaWiki affinché carichi le immagini su un server diverso dal proprio.

Per approfondire, vedi Manuale MediaWiki/Barra Laterale#Collegamento_di_.22Carica_su_Commons.22.

Link di riferimento

su Wikimedia

• Manual:Configuration settings#Uploads
• mw:Manual:Configuring file uploads

Visualizzare formule matematiche

Per visualizzare formule matematiche, si installa l'estensione Math e la si configura opportunamente.

Il primo passo è impostare la variabile $wgUseTeX a true nel LocalSettings.php.

Quindi, si aggiungono le seguenti righe:

$wgUploadPath = "images"; $wgUploadDirectory = "images"; $wgMathPath = "{$wgUploadPath}/math"; $wgMathDirectory = "{$wgUploadDirectory}/math"; $wgTmpDirectory = "{$wgUploadDirectory}/tmp";

Se queste cartelle non esistono, vanno create:

• /images/math
• /images/tmp

assegnando loro i permessi 755.

Quindi, si compila il programma texvc (fornito insieme con MediaWiki), lo si colloca nella cartella /math e gli si assegna i permessi 755.

Estensioni alternative

Su alcuni web server, LaTeX non è installato, pertanto l'estensione Math potrebbe non funzionare. In questo caso, si può usare l'estensione Mimetex.

Link di riferimento

• Guida all'uso delle formule TeX su MediaWiki
• Manual:Troubleshooting math