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

Conflicts:
	inc/parser/xhtml.php

2 files changed, 0 insertions, 54 deletions

diff --git a/lib/plugins/plugin/lang/ia/admin_plugin.txt b/lib/plugins/plugin/lang/ia/admin_plugin.txt
deleted file mode 100644
index c7f758c16..000000000
--- a/lib/plugins/plugin/lang/ia/admin_plugin.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-====== Gestion de plug-ins ======
-
-In iste pagina tu pote gerer omne cosas con relation al [[doku>plugins|plug-ins]] de DokuWiki. Pro poter discargar e installar un plug-in, le directorio de plug-ins debe permitter le accesso de scriptura al servitor web.
\ No newline at end of file
diff --git a/lib/plugins/plugin/lang/ia/lang.php b/lib/plugins/plugin/lang/ia/lang.php
deleted file mode 100644
index 523f8581d..000000000
--- a/lib/plugins/plugin/lang/ia/lang.php
+++ /dev/null
@@ -1,51 +0,0 @@
-<?php
-/**
- * Interlingua language file
- *
- * @author robocap <robocap1@gmail.com>
- * @author Martijn Dekker <martijn@inlv.org>
- */
-$lang['menu']                  = 'Gestion de plug-ins';
-$lang['download']              = 'Discargar e installar un nove plug-in';
-$lang['manage']                = 'Plug-ins installate';
-$lang['btn_info']              = 'info';
-$lang['btn_update']            = 'actualisar';
-$lang['btn_delete']            = 'deler';
-$lang['btn_settings']          = 'configurationes';
-$lang['btn_download']          = 'Discargar';
-$lang['btn_enable']            = 'Salveguardar';
-$lang['url']                   = 'URL';
-$lang['installed']             = 'Installate:';
-$lang['lastupdate']            = 'Ultime actualisation:';
-$lang['source']                = 'Origine:';
-$lang['unknown']               = 'incognite';
-$lang['updating']              = 'Actualisation…';
-$lang['updated']               = 'Actualisation del plug-in %s succedite';
-$lang['updates']               = 'Le sequente plug-ins ha essite actualisate con successo';
-$lang['update_none']           = 'Nulle actualisation trovate.';
-$lang['deleting']              = 'Deletion…';
-$lang['deleted']               = 'Le plug-in %s ha essite delite.';
-$lang['downloading']           = 'Discargamento…';
-$lang['downloaded']            = 'Installation del plug-in %s succedite.';
-$lang['downloads']             = 'Le sequente plug-ins ha essite installate con successo:';
-$lang['download_none']         = 'Nulle plug-in trovate, o il ha occurrite un problema incognite durante le discargamento e installation.';
-$lang['plugin']                = 'Plug-in:';
-$lang['components']            = 'Componentes';
-$lang['noinfo']                = 'Iste plug-in retornava nulle information; illo pote esser invalide.';
-$lang['name']                  = 'Nomine:';
-$lang['date']                  = 'Data:';
-$lang['type']                  = 'Typo:';
-$lang['desc']                  = 'Description:';
-$lang['author']                = 'Autor:';
-$lang['www']                   = 'Web:';
-$lang['error']                 = 'Un error incognite ha occurrite.';
-$lang['error_download']        = 'Impossibile discargar le file del plug-in: %s';
-$lang['error_badurl']          = 'URL probabilemente invalide; impossibile determinar le nomine del file ex le URL';
-$lang['error_dircreate']       = 'Impossibile crear le dossier temporari pro reciper le discargamento';
-$lang['error_decompress']      = 'Le gestor de plug-ins non poteva decomprimer le file discargate. Isto pote esser le resultato de un discargamento defectuose, in le qual caso tu deberea probar lo de novo; o le formato de compression pote esser incognite, in le qual caso tu debe discargar e installar le plug-in manualmente.';
-$lang['error_copy']            = 'Il occurreva un error durante le tentativa de installar files pro le plugin <em>%s</em>: le disco pote esser plen o le permissiones de accesso a files pote esser incorrecte. Isto pote haber resultate in un plug-in partialmente installate e lassar tu installation del wiki instabile.';
-$lang['error_delete']          = 'Il occurreva un error durante le tentativa de deler le plug-in <em>%s</em>. Le causa le plus probabile es insufficiente permissiones de files o directorios.';
-$lang['enabled']               = 'Plug-in %s activate.';
-$lang['notenabled']            = 'Le plug-in %s non poteva esser activate; verifica le permissiones de accesso a files.';
-$lang['disabled']              = 'Plug-in %s disactivate.';
-$lang['notdisabled']           = 'Le plug-in %s non poteva esser disactivate; verifica le permissiones de accesso a files.';