Installare e configurare MediaWiki: differenze tra le versioni

modificato paragrafo Modificare l'installazione di Mediawiki - inserita introduzione generale
m (sistemati link interni)
(modificato paragrafo Modificare l'installazione di Mediawiki - inserita introduzione generale)
Riga 43: Riga 43:
</pre>
</pre>
==Modificare l'installazione di MediaWiki==
==Modificare l'installazione di MediaWiki==
Il comportamento e l'aspetto di Mediawiki vengono personalizzati dall'amministratore attraverso il file  <code>/etc/mediawiki/LocalSettings.php</code>.<br/>
Questo file fornisce le impostazioni di configurazione locale di Mediawiki e viene generato automaticamente dallo script di configurazione lanciato subito dopo l'installazione (secondo la procedura descritta al paragrafo [[#Seconda parte: installazione via web|Installazione via web]]): <code>LocalSettings.php</code> contiene dunque le preferenze di configurazione specificate dall'utente allo script di configurazione.<br/>
Tutte le altre opzioni di configurazione, invece, mantengono i valori di default contenuti nel file <code>/usr/share/mediawiki/includes/DefaultSettings.php</code> che '''non deve essere mai modificato direttamente''': se la variabile che si desidera modificare non si trova nel file <code>LocaleSettings.php</code> basterà copiare la riga relativa alla variabile stessa dal file <code>DefaultSettings.php</code> e inserirla in <code>LocalSettings.php</code> e di qui modificarne il valore.
Le opzioni di configurazione, infatti, sono espresse sotto forma di variabili PHP: in genere si presentano così
<pre> $nome_variabile = true;</pre>
Dove, ovviamente, i valori che la variabile può assumere sono <code>true</code> (nel caso in cui venga abilitata l'opzione corrispondente) o <code>false</code> (in caso contrario).
{{Box|Nota:|il manuale di Mediawiki avvisa che nel vostro file <code>LocalSettings.php</code> potrebbe mancare il tag di chiusura del codice php, ovvero <code>?></code> alla fine del file, ma che questo è fatto di proposito per evitare che gli utenti inesperti inseriscano delle righe al di sotto del tag di chiusura e che il file funzionerà correttamente anche senza tale tag: non preoccupatevi, quindi se doveste notarne l'assenza!}}
[http://www.mediawiki.org/wiki/Manual:Configuration_settings Qui] troverete un elenco completo, con relative spiegazioni, delle variabili che possono essere configurate in <code>LocalSettings.php</code>.
Di seguito verranno illustrate alcune operazioni di configurazione basilari per il nostro wiki.
===Modificare il logo MediaWiki===
===Modificare il logo MediaWiki===
Per modificare il logo di default di MediaWiki si può agire in due modi:
Per modificare il logo di default di MediaWiki si può agire in due modi:
1 508

contributi