1 508
contributi
Installare e configurare MediaWiki: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Installare e configurare MediaWiki (visualizza wikitesto)
Versione delle 08:08, 11 apr 2010
, 11 apr 2010modificato 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: | ||