MediaWiki/LocalSettings.php: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
ortografia |
m Bot: sostituzione tag obsoleti |
||
Riga 1:
{{MediaWiki}}
Il file <
Questo file viene generato in automatico dalla [[MediaWiki/Installazione#Configurare_MediaWiki|procedura di installazione]] del wiki, quindi va portato all'interno della cartella in cui si trova MediaWiki.
Riga 12:
Le variabili che è possibile impostare sono descritte sul [[mw:Manual:Configuration_settings|manuale ufficiale di MediaWiki]]. In particolare, alcune permettono di configurare i permessi degli utenti; la [[mw:Manual:Configuration_settings#Users|lista completa delle variabili]] e le [[mw:Manual:User_rights|modalità di configurazione]] sono descritte nel manuale ufficiale.
Le variabili che non sono impostate esplicitamente nel <
*si cancella la riga che la configura,
*oppure la si fa precedere dal simbolo del cancelletto (#), che in PHP indica un commento.
Riga 18:
== Configurare le estensioni ==
Di solito, l'installazione di un'estensione consiste di due passaggi:
#si copiano la cartella e/o il file .php dell'estensione nell'omonima cartella all'interno della cartella <
#si attiva l'estensione aggiungendo in fondo al file [[mw:Manual:LocalSettings.php|LocalSettings]] la riga
#*<code><nowiki>require_once("$IP/extensions/NomeDell'Estensione/NomeDell'Estensione.php");</nowiki></code> se è stata trasferita l'intera cartella dell'estensione,
#*<code><nowiki>require_once("$IP/extensions/NomeDell'Estensione.php");</nowiki></code> se è stato trasferito il solo file <
== Configurare permessi ed altri parametri del wiki ==
|