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

Conflicts:
	inc/parser/xhtml.php

2 files changed, 0 insertions, 71 deletions

diff --git a/lib/plugins/plugin/lang/de/admin_plugin.txt b/lib/plugins/plugin/lang/de/admin_plugin.txt
deleted file mode 100644
index f3b2caa0c..000000000
--- a/lib/plugins/plugin/lang/de/admin_plugin.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-====== Verwaltung der Plugins ======
-
-Auf dieser Seite kannst du alles machen, was mit DokuWiki [[doku>plugins|Plugins]] zu tun hat. Um Plugins automatisch herunterladen und installieren zu können, muss der Webserver im Plugin-Ordner schreiben dürfen.
-
-
diff --git a/lib/plugins/plugin/lang/de/lang.php b/lib/plugins/plugin/lang/de/lang.php
deleted file mode 100644
index f41486007..000000000
--- a/lib/plugins/plugin/lang/de/lang.php
+++ /dev/null
@@ -1,66 +0,0 @@
-<?php
-
-/**
- * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
- * 
- * @author Esther Brunner <esther@kaffeehaus.ch>
- * @author Andreas Gohr <andi@splitbrain.org>
- * @author Michael Klier <chi@chimeric.de>
- * @author Leo Moll <leo@yeasoft.com>
- * @author Florian Anderiasch <fa@art-core.org>
- * @author Robin Kluth <commi1993@gmail.com>
- * @author Arne Pelka <mail@arnepelka.de>
- * @author Dirk Einecke <dirk@dirkeinecke.de>
- * @author Blitzi94@gmx.de
- * @author Robert Bogenschneider <robog@GMX.de>
- * @author Robert Bogenschneider <robog@gmx.de>
- * @author Niels Lange <niels@boldencursief.nl>
- * @author Christian Wichmann <nospam@zone0.de>
- * @author Paul Lachewsky <kaeptn.haddock@gmail.com>
- * @author Pierre Corell <info@joomla-praxis.de>
- */
-$lang['menu']                  = 'Plugins verwalten';
-$lang['download']              = 'Neues Plugin herunterladen und installieren';
-$lang['manage']                = 'Installierte Plugins';
-$lang['btn_info']              = 'Info';
-$lang['btn_update']            = 'Update';
-$lang['btn_delete']            = 'Löschen';
-$lang['btn_settings']          = 'Einstellungen';
-$lang['btn_download']          = 'Herunterladen';
-$lang['btn_enable']            = 'Speichern';
-$lang['url']                   = 'URL';
-$lang['installed']             = 'Installiert:';
-$lang['lastupdate']            = 'Letzte Version:';
-$lang['source']                = 'Quelle:';
-$lang['unknown']               = 'unbekannt';
-$lang['updating']              = 'Lade Update ...';
-$lang['updated']               = 'Update von Plugin %s erfolgreich installiert';
-$lang['updates']               = 'Die folgenden Plugins wurden erfolgreich aktualisiert';
-$lang['update_none']           = 'Keine Updates gefunden.';
-$lang['deleting']              = 'Löschen ...';
-$lang['deleted']               = 'Plugin %s gelöscht.';
-$lang['downloading']           = 'Lade herunter ...';
-$lang['downloaded']            = 'Plugin %s erfolgreich installiert';
-$lang['downloads']             = 'Die folgenden Plugins wurden erfolgreich installiert:';
-$lang['download_none']         = 'Keine Plugins gefunden oder es trat ein Fehler beim Herunterladen auf.';
-$lang['plugin']                = 'Plugin:';
-$lang['components']            = 'Komponenten';
-$lang['noinfo']                = 'Dieses Plugin liefert keine Informationen, möglicherweise ist es fehlerhaft.';
-$lang['name']                  = 'Name:';
-$lang['date']                  = 'Datum:';
-$lang['type']                  = 'Typ:';
-$lang['desc']                  = 'Beschreibung:';
-$lang['author']                = 'Entwickler:';
-$lang['www']                   = 'Web:';
-$lang['error']                 = 'Ein unbekannter Fehler ist aufgetreten.';
-$lang['error_download']        = 'Konnte das Plugin %s nicht herunterladen';
-$lang['error_badurl']          = 'Wahrscheinlich ungültige URL, konnte keinen Dateinamen ausfindig machen';
-$lang['error_dircreate']       = 'Konnte keinen temporären Ordner für die Downloads erstellen';
-$lang['error_decompress']      = 'Der Plugin Manager konnte das Plugin-Archiv nicht entpacken. Entweder ist der Download fehlerhaft oder das Komprimierungsverfahren wird nicht unterstützt. Bitte versuchen Sie es erneut oder downloaden und installieren Sie das Plugin manuell.';
-$lang['error_copy']            = 'Beim Kopieren der Dateien des Plugins trat ein Fehler auf <em>%s</em>: möglicherweise ist die Festplatte voll oder die Dateiberechtigungen falsch. Möglicherweise wurde das Plugin nur teilweise installiert. Sie sollten das Plugin manuell entfernen um Instabilitäten zu vermeiden.';
-$lang['error_delete']          = 'Es gab einem Fehler beim Versuch das Plugin zu löschen <em>%s</em>. Dies liegt wahrscheinlich an fehlenden Dateiberechtigungen.';
-$lang['enabled']               = 'Plugin %s wurde aktiviert.';
-$lang['notenabled']            = 'Plugin %s konnte nicht aktiviert werden, überprüfen Sie die Dateirechte.';
-$lang['disabled']              = 'Plugin %s wurde deaktiviert.';
-$lang['notdisabled']           = 'Plugin %s konnte nicht deaktiviert werden, überprüfen Sie die Dateirechte.';
-$lang['packageinstalled']      = 'Plugin-Paket (%d Plugin(s): %s) erfolgreich installiert.';