Merge branch 'extension_manager'

* extension_manager: (71 commits)
  added plugins group to test
  show a message when search returns no results
  added missing localization
  better filename parsing
  use DOKU_LF
  remove unneeded try/catch blocks
  typo fix
  purge cache only once on install
  check for admin in AJAX backend
  now use new core funtion to recursively delete
  added status to info list of extension plugin
  added css and html changes for RTL scripts to extension manager
  added basic mobile styles to extension manager (not great, but makes things at least readable)
  fixed and improved some HTML in extension manager
  added git warning
  fixed strict standard error and added some docblock
  removed the old plugin manager
  typo fix
  protect authplain and current auth plugin
  do not show updates for bundled plugins
  ...

Conflicts:
	lib/plugins/plugin/lang/hu/admin_plugin.txt
	lib/plugins/plugin/lang/hu/lang.php

2 files changed, 0 insertions, 59 deletions

diff --git a/lib/plugins/plugin/lang/pt/admin_plugin.txt b/lib/plugins/plugin/lang/pt/admin_plugin.txt
deleted file mode 100644
index 2cc470193..000000000
--- a/lib/plugins/plugin/lang/pt/admin_plugin.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-====== Gestor de Plugins ======
-
-Nesta página pode gerir tudo o que tenha a haver com [[doku>plugins|plugins]] DokuWiki. Atenção que a pasta que contém os plugins precisa de ter permissões de escrita para se poder efectuar o download.
\ No newline at end of file
diff --git a/lib/plugins/plugin/lang/pt/lang.php b/lib/plugins/plugin/lang/pt/lang.php
deleted file mode 100644
index aa6b2e2ec..000000000
--- a/lib/plugins/plugin/lang/pt/lang.php
+++ /dev/null
@@ -1,56 +0,0 @@
-<?php
-
-/**
- * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
- * 
- * @author José Monteiro <Jose.Monteiro@DoWeDo-IT.com>
- * @author Enrico Nicoletto <liverig@gmail.com>
- * @author Fil <fil@meteopt.com>
- * @author André Neves <drakferion@gmail.com>
- * @author José Campos zecarlosdecampos@gmail.com
- */
-$lang['menu']                  = 'Gerir Plugins';
-$lang['download']              = 'Descarregar e instalar um novo plugin';
-$lang['manage']                = 'Plugins Instalados';
-$lang['btn_info']              = 'info';
-$lang['btn_update']            = 'actualizar';
-$lang['btn_delete']            = 'remover';
-$lang['btn_settings']          = 'configurações';
-$lang['btn_download']          = 'Descarregar';
-$lang['btn_enable']            = 'Guardar';
-$lang['url']                   = 'URL';
-$lang['installed']             = 'Instalado em:';
-$lang['lastupdate']            = 'Actualizado em:';
-$lang['source']                = 'Fonte:';
-$lang['unknown']               = 'desconhecida';
-$lang['updating']              = 'Actualizando ...';
-$lang['updated']               = 'Plugin %s actualizado com sucesso.';
-$lang['updates']               = 'Os seguintes plguins foram actualizados com sucesso:';
-$lang['update_none']           = 'Não foram encontradas actualizações.';
-$lang['deleting']              = 'Removendo ...';
-$lang['deleted']               = 'Plugin %s removido.';
-$lang['downloading']           = 'Descarregando ...';
-$lang['downloaded']            = 'Plugin %s instalado com sucesso.';
-$lang['downloads']             = 'Os seguintes plguins foram instalados com sucesso:';
-$lang['download_none']         = 'Nenhum plugin encontrado ou ocorreu um problema ao descarregar ou instalar.';
-$lang['plugin']                = 'Plugin:';
-$lang['components']            = 'Componentes';
-$lang['noinfo']                = 'Este plugin não retornou qualquer informação, pode estar inválido.';
-$lang['name']                  = 'Nome:';
-$lang['date']                  = 'Data:';
-$lang['type']                  = 'Tipo:';
-$lang['desc']                  = 'Descrição:';
-$lang['author']                = 'Autor:';
-$lang['www']                   = 'Sítio:';
-$lang['error']                 = 'Ocorreu um erro desconhecido.';
-$lang['error_download']        = 'Impossível descarregar o ficheiro do plugin: %s';
-$lang['error_badurl']          = 'URL suspeito ou errado - impossível determinar o ficheiro a partir do URL';
-$lang['error_dircreate']       = 'Impossível criar pasta temporária para receber os ficheiros a descarregar';
-$lang['error_decompress']      = 'O gestor de plugins foi incapaz de descomprimir o ficheiro transferido. Isto pode ter sido causado por uma má transferência, caso no qual você deverá tentar de novo, ou por um formato de compressão desconhecido, caso no qual você deve instalar o plugin manualmente.';
-$lang['error_copy']            = 'Ocorreu um erro na cópia do ficheiro na tentativa de instalar o plugin <em>%s</em>: o disco pode estar cheio ou as permissões de acesso do ficheiro podem estar erradas. Isto pode resultar em um plugin parcialmente instalado e deixar a instalação do seu wiki instável.';
-$lang['error_delete']          = 'Ocorreu um erro na tentativa de remover o plug-in <em>%s</em>. A causa mais provável é a permissão de acesso à directoria ou ao ficheiro insuficiente.';
-$lang['enabled']               = 'Plugin %s habilitado.';
-$lang['notenabled']            = 'Plugin %s não pôde ser habilitado, verifique as permissões.';
-$lang['disabled']              = 'Plugin %s desabilitado.';
-$lang['notdisabled']           = 'Plugin %s não pôde ser desabilitado, verifique as permissões.';
-$lang['packageinstalled']      = 'Pacote de Plugins (%d plugin(s): %s) instalado com sucesso.';