Manual:Extensions/it

Le estensioni ti consentono di personalizzare l'aspetto e il funzionamento di MediaWiki.
 * Gli utenti wiki possono sfogliare le estensioni esistenti.
 * Gli amministratori di sistema possono installare (o rimuovere) le estensioni sulle installazioni di MediaWiki che loro gestiscono.
 * Gli sviluppatori possono scrivere nuove estensioni o migliorare o mantenere le estensioni esistenti.

Mentre alcune estensioni sono gestite dagli sviluppatori di MediaWiki, altre sono state scritte da sviluppatori di terze parti. Di conseguenza, molte hanno bug e non tutte sono garantite come compatibili tra loro. Alcune sono senza manutenzione; non tutte le estensioni funzionano su tutte le versioni di MediaWiki. Usare una qualsiasi estensione, in particolar modo quelle contrassegnate come non sicure, è un vostro rischio. Se si utilizza un'estensione che richiede delle patch per il software principale, assicurarsi di eseguire il backup del database. Questo aiuta a evitare il rischio che la tua wiki non funzioni.

Navigare nelle estensioni
Puoi guardare in per vedere l'intera gamma di estensioni che sono già state realizzate. Per informazioni sull'installazione di queste estensioni o scrivere la tua, vedi sotto.

Testare le estensioni installate
Solo chi ha accesso amministrativo al file di sistema (e spesso anche al database) su un server può installare estensioni per MediaWiki, ma chiunque può controllare quali estensioni sono attive su un'istanza di MediaWiki accedendo alla pagina Special:Version. Ad esempio, queste estensioni sono attive in Wikipedia inglese.

Installare un'estensione
MediaWiki è pronto ad accettare estensioni solo dopo che l'installazione è terminata. Per aggiungere un'estensione attenersi alla seguente procedura:


 * 1) Prima di iniziare
 * Molte estensioni forniscono istruzioni progettate per l'installazione usando i comandi UNIX. È necessario l'accesso al protocollo di sicurezza Secure SHell (SSH) ("conchiglia sicura") per immettere questi comandi elencati nelle pagine della guida dell'estensione.
 * 1) Scaricare la tua estensione.
 * Il distributore di estensioni (Extension Distributor) aiuta a scegliere e scaricare le estensioni più utilizzate.
 * Le estensioni normalmente vengono distribuite come pacchetti modulari. Generalmente vanno nella loro sottocartella di .  Un elenco di estensioni memorizzate nell'archivio Git di Wikimedia si trova in git:mediawiki/extensions. Alcune estensioni non usano il controllo della versione e sono sconsigliate.
 * Alcune estensioni sono disponibili in pacchetti, in od in archivî di pacchetti.
 * 1) Installa la tua estensione..
 * Al termine del file, aggiungere:
 * Questa linea impone all'interprete PHP di leggere il file dell'estensione ed a renderlo quindi accessibile a MediaWiki.
 * Alcune estensioni possono entrare in conflitto con gli script di manutenzione, ad esempio se accedono direttamente a $_SERVER (sconsigliato).
 * In questo caso possono essere inclusi nel condizionale cosicché gli script di manutenzione possano ancora essere eseguiti.
 * In questo caso possono essere inclusi nel condizionale cosicché gli script di manutenzione possano ancora essere eseguiti.


 * Lo script di manutenzione fallirà per qualsiasi estensione che richiede spazi dei nomi personalizzati che sia inclusa all'interno del condizionale sopra come,.



Aggiornare un'estensione
Alcune estensioni richiedono di essere aggiornate ogni volta che si aggiorna MediaWiki, mentre altre funzionano con più versioni. Per aggiornare ad una nuova versione di un'estensione:


 * 1) Scarica la nuova versione dell'estensione
 * 2) Sostituisci tutti i file dell'estensione nella cartella  con i nuovi file. Non rimuovere la configurazione dell'estensione presente in LocalSettings.php
 * 3) A seconda dell'estensione, potrebbe essere necessario eseguire lo script di manutenzione Update.php. La maggior parte delle estensioni vi ricorderà se questo script deve essere eseguito o no. (Svolgi un backup dei tuoi dati prima di eseguire lo script). Se non si dispone dell'accesso alla riga di comando, è possibile utilizzare anche il web updater (aggiornatore di web).

Disinstallare un'estensione
Rimuovi la linea da LocalSettings.php con il nome dell'estensione per disinstallarla:

È necessario rimuovere tutte le righe relative alla configurazione dell'estensione. Se l'estensione è connessa ad alcune modifiche al database, è necessario eseguire per rimuoverle.

Vedi anche

 * - Informazioni sulla traduzione delle estensioni.
 * MediaWiki extension
 * - Informazioni sulla traduzione delle estensioni.
 * MediaWiki extension
 * MediaWiki extension