Merge remote-tracking branch 'origin/diff_navigation' into revisions

Conflicts:
	inc/parser/xhtml.php

2 files changed, 0 insertions, 66 deletions

diff --git a/lib/plugins/plugin/lang/it/admin_plugin.txt b/lib/plugins/plugin/lang/it/admin_plugin.txt
deleted file mode 100644
index 5591f08fe..000000000
--- a/lib/plugins/plugin/lang/it/admin_plugin.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-====== Gestione Plugin ======
-
-In questa pagina puoi gestire tutto ciò che riguarda i [[doku>plugins|plugin]] di DokuWiki. Per poter scaricare e installare un plugin, il webserver deve avere accesso in scrittura alla directory dei plugin.
\ No newline at end of file
diff --git a/lib/plugins/plugin/lang/it/lang.php b/lib/plugins/plugin/lang/it/lang.php
deleted file mode 100644
index 186bf976e..000000000
--- a/lib/plugins/plugin/lang/it/lang.php
+++ /dev/null
@@ -1,63 +0,0 @@
-<?php
-
-/**
- * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
- * 
- * @author Christopher Smith <chris@jalakai.co.uk>
- * @author Silvia Sargentoni <polinnia@tin.it>
- * @author Pietro Battiston toobaz@email.it
- * @author Diego Pierotto ita.translations@tiscali.it
- * @author ita.translations@tiscali.it
- * @author Lorenzo Breda <lbreda@gmail.com>
- * @author snarchio@alice.it
- * @author robocap <robocap1@gmail.com>
- * @author Osman Tekin osman.tekin93@hotmail.it
- * @author Jacopo Corbetta <jacopo.corbetta@gmail.com>
- * @author Matteo Pasotti <matteo@xquiet.eu>
- * @author snarchio@gmail.com
- */
-$lang['menu']                  = 'Gestione Plugin';
-$lang['download']              = 'Scarica e installa un nuovo plugin';
-$lang['manage']                = 'Plugin installati';
-$lang['btn_info']              = 'info';
-$lang['btn_update']            = 'aggiorna';
-$lang['btn_delete']            = 'elimina';
-$lang['btn_settings']          = 'configurazione';
-$lang['btn_download']          = 'Scarica';
-$lang['btn_enable']            = 'Salva';
-$lang['url']                   = 'URL';
-$lang['installed']             = 'Installato:';
-$lang['lastupdate']            = 'Ultimo aggiornamento:';
-$lang['source']                = 'Origine:';
-$lang['unknown']               = 'sconosciuto';
-$lang['updating']              = 'Aggiornamento in corso ...';
-$lang['updated']               = 'Aggiornamento plugin %s riuscito';
-$lang['updates']               = 'Aggiornamento dei seguenti plugin riuscito:';
-$lang['update_none']           = 'Nessun aggiornamento trovato.';
-$lang['deleting']              = 'Eliminazione in corso ...';
-$lang['deleted']               = 'Plugin %s eliminato.';
-$lang['downloading']           = 'Scaricamento in corso ...';
-$lang['downloaded']            = 'Installazione plugin %s riuscita';
-$lang['downloads']             = 'Installazione dei seguenti plugin riuscita:';
-$lang['download_none']         = 'Nessun plugin trovato, oppure si è verificato un problema sconosciuto durante il download e l\'installazione.';
-$lang['plugin']                = 'Plugin:';
-$lang['components']            = 'Componenti';
-$lang['noinfo']                = 'Questo plugin non ha fornito alcuna informazione, potrebbe non essere valido.';
-$lang['name']                  = 'Nome:';
-$lang['date']                  = 'Data:';
-$lang['type']                  = 'Tipo:';
-$lang['desc']                  = 'Descrizione:';
-$lang['author']                = 'Autore:';
-$lang['www']                   = 'Web:';
-$lang['error']                 = 'Si è verificato un errore sconosciuto.';
-$lang['error_download']        = 'Impossibile scaricare il plugin: %s';
-$lang['error_badurl']          = 'Possibile URL non corretta - impossibile determinare il nome del file dalla URL fornita';
-$lang['error_dircreate']       = 'Impossibile creare la directory temporanea dove scaricare il file';
-$lang['error_decompress']      = 'Impossibile decomprimere il file scaricato. Questo potrebbe essere il risultato di un download incompleto, in tal caso dovresti provare di nuovo; oppure il formato di compressione potrebbe essere sconosciuto, in questo caso è necessario scaricare e installare il plugin manualmente.';
-$lang['error_copy']            = 'Si è verificato un errore nella copia di un file durante l\'installazione del plugin <em>%s</em>: il disco potrebbe essere pieno oppure i permessi di accesso al file potrebbero non essere corretti. Il plugin potrebbe essere stato installato solo parzialmente, questo potrebbe causare instabilità al sistema.';
-$lang['error_delete']          = 'Si è verificato un errore durante l\'eliminazione del plugin <em>%s</em>.  Molto probabilmente i permessi di acesso ai file o alla directory non sono sufficienti';
-$lang['enabled']               = 'Plugin %s abilitato.';
-$lang['notenabled']            = 'Impossibile abilitare il plugin %s, verifica i permessi dei file.';
-$lang['disabled']              = 'Plugin %s disabilitato.';
-$lang['notdisabled']           = 'Impossibile disabilitare il plugin %s, verifica i permessi dei file.';
-$lang['packageinstalled']      = 'Pacchetto plugin (%d plugin(s): %s) installato con successo.';