Manual:Extensions/it

{| style="border: 2px solid #aaa; padding: 1em 2em; margin: 1em 0 2em 0; width:auto; margin:0 auto; float: " |

Cosa sono le estensioni?
Le estensioni ti consentono di personalizzare l'aspetto e il funzionamento di MediaWiki.

Gli utenti wiki possono sfogliare le estensioni esistenti o richiedere una nuova estensione. 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.

Cercare le estensioni per le parole riservate:
 * style="textalign: center; valign: middle; padding: 0 2em" |


 * }

A seconda dei tuoi obiettivi puoi utilizzare le estensioni per:


 * estendere il marcatore wiki usato per scrivere articoli - vedi e  per gli esempi.
 * aggiungere nuovi rapporti e nuove capacità amministrative - vedi per esempi.
 * cambiare l'aspetto grafico di MediaWiki - vedi Special:AllPages/Skin: e per gli esempi.
 * migliorare la sicurezza tramite meccanismi di autenticazione personalizzati - vedi per esempi.

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. Quando usi un'estensione che richiede patch (aggiornamenti) al codice centrale di MediaWiki od a voci del tuo database, assicurati di creare un backup (una copia) del database e/o del codice centrale di MediaWiki, per evitare il rischio di danneggiare definitivamente la tua wiki.

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. In genere vanno nella loro sottodirectory di .  Un elenco di estensioni archiviate sono in Wikimedia  Git repository che si trova in git:mediawiki/extensions. Alcune estensioni non usano il controllo della versione e non sono raccomandate.
 * Alcune estensioni sono disponibili in formato di pacchetti, in o in package repositories.
 * 1) Installa la tua estensione..
 * Generalmente, alla fine del file  (ma sopra il delimitatore di fine del codice PHP, " ", se presente), deve essere aggiunta la seguente riga:
 * Questa linea impone all'interprete PHP di leggere il file di estensione e renderlo quindi accessibile a MediaWiki.
 * Alcune estensioni possono entrare in conflitto con gli script di manutenzione, ad esempio se accedono direttamente a $_SERVER (non consigliato).
 * In questo caso possono essere inclusi nel condizionale in modo che gli script di manutenzione possano ancora essere eseguiti.
 * In questo caso possono essere inclusi nel condizionale in modo che gli script di manutenzione possano ancora essere eseguiti.


 * Lo script di manutenzione fallirà per qualsiasi estensione che richiede spazi dei nomi personalizzati che è incluso 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 eseguire l'aggiornamento a una nuova versione di un'estensione:


 * 1) Scarica la nuova versione dell'estensione
 * 2) Sostituisci tutti i file dell'estensione nella directory   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 meno. (Svolgi un backup dei tuoi dati prima di eseguire lo script). Se non si dispone dell'accesso alla riga di comando, è anche possibile utilizzare web updater.
 * 4) Questo è tutto ciò che devi fare. Nella maggior parte dei casi, la configurazione dell'estensione presente in LocalSettings.php funzionerà anche con la versione più recente dell'estensione.

Disinstallare un'estensione
Le estensioni vengono aggiunte inserendo una riga a LocalSettings.php, che in pratica assomiglia a questo:


 * 1) Rimuovi questa riga e l'estensione è disinstallata. Se vuoi, puoi (e se non vuoi usare questa estensione in futuro, dovresti) rimuovere i file di questa estensione all'interno della cartella "extensions/".
 * 2) Forse hai anche altre linee in LocalSettings.php, che hanno a che fare con l'estensione che vuoi rimuovere. Molto probabilmente si tratterà di linee, che danno a certi utenti il diritto di accedere alle pagine, che sono fornite dall'estensione. Queste righe contengono la variabile "$wgGroupPermissions" e ha alcune impostazioni lì. Per quanto riguarda i diritti, che provengono dall'estensione rimossa, è possibile rimuovere anche queste righe.
 * 3) Forse la tua estensione ha aggiunto colonne al tuo database. Facendo l'aggiornamento maintenance/update.php li rimuove, quando viene eseguito, dopo aver disinstallato l'estensione.

Sviluppare estensioni
Questo argomento complesso viene gestito sulla pagina manuale developing extensions.

Vedi anche

 * Progetto: richieste di estensione
 * - Informazioni sulla traduzione di estensioni.
 * Progetto: richieste di estensione
 * - Informazioni sulla traduzione di estensioni.
 * Progetto: richieste di estensione
 * - Informazioni sulla traduzione di estensioni.
 * Progetto: richieste di estensione
 * - Informazioni sulla traduzione di estensioni.
 * - Informazioni sulla traduzione di estensioni.