1 508
contributi
Nessun oggetto della modifica |
|||
Riga 68: | Riga 68: | ||
Una delle caratteristiche più utilizzate dagli utenti di un wiki è l'upload di immagini, per arricchire gli articoli inseriti. Anche nel caso dell'upload di file, sono possibili vari aggiustamenti e scelte personalizzate tramite la modifica e l'inserimento di variabili specifiche nel file <code>LocalSettings.php</code>.<br/> | Una delle caratteristiche più utilizzate dagli utenti di un wiki è l'upload di immagini, per arricchire gli articoli inseriti. Anche nel caso dell'upload di file, sono possibili vari aggiustamenti e scelte personalizzate tramite la modifica e l'inserimento di variabili specifiche nel file <code>LocalSettings.php</code>.<br/> | ||
====Abilitare il caricamento di file==== | |||
Il caricamento di file da parte degli utenti è inizialmente disabilitato, per motivi di sicurezza, nelle installazioni di MediaWiki. Pertanto è necessario abilitarlo nel file <code>LocalSettings.php</code>. | Il caricamento di file da parte degli utenti è inizialmente disabilitato, per motivi di sicurezza, nelle installazioni di MediaWiki. Pertanto è necessario abilitarlo nel file <code>LocalSettings.php</code>. | ||
Riga 82: | Riga 84: | ||
<pre>$wgEnableUploads = true;</pre> | <pre>$wgEnableUploads = true;</pre> | ||
Le impostazioni di default prevedono che tutti gli utenti registrati al wiki possano caricare file: è possibile modificare questo comportamento di MediaWiki attraverso l'uso della variabile $wgGroupPermissions, per il cui uso vi rimando a [http://www.mediawiki.org/wiki/Manual:$wgGroupPermissions questa pagina]. | |||
====Abilitare il caricamento di altri tipi di file (pdf, doc, xls)==== | |||
La variabile che definisce il tipo di file che possono essere caricati sul wiki è '''$wgFileExtensions'''. Questa variabile, di default, permette il caricamento di file con estensione <code>png</code>,<code>gif</code>,<code>jpg</code>,<code>jpeg</code>.<br/> | |||
Tuttavia è possibile aggiungere altri tipi di file, aggiungendo le relative estensioni alla variabile $wgFileExtensions nel file <code>LocalSettings.php</code>. | |||
Questo può essere fatto in vari modi, ad esempio inserendo una riga simile a questa (sotto alla variabile $wgEnableUploads): | |||
<pre>$wgFileExtensions = array('png', 'gif', 'jpg', 'jpeg', 'doc', 'xls', 'mpp', 'pdf');</pre> | |||
oppure inserendo questa riga: | |||
<pre>$wgFileExtensions = array_merge($wgFileExtensions, array('doc', 'xls', 'mpp', 'pdf'));</pre> | |||
Io mi sono limitata ad inserire il solo formato pdf, ed ho quindi preferito aggiungere questa riga: | |||
<pre> $wgFileExtensions[] = 'pdf';</pre> | |||
È da sottolineare, comunque, che alcuni formati non verranno in ogni caso caricati, anche se ne abilitate il caricamento tramite la variabile $wgFileExtensions: questo perché, per ragioni di sicurezza, esiste una blacklist di estensioni vietate, specificate dalla variabile $wgFileBlacklist nel file <code>DefaultSettings.php</code>. | |||
===Creare una nuova skin per MediaWiki=== | ===Creare una nuova skin per MediaWiki=== |
contributi