commit 96105eddcdb818b660714e823c3e00a034ee7d4e
parent 0b784187b045095281ba4135eb10f51345f4c095
Author: dankert <devnull@localhost>
Date: Sat, 5 Aug 2006 00:40:01 +0200
Neu: MENU_FILE_EDIT
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/language/de.ini.php b/language/de.ini.php
@@ -661,6 +661,8 @@ USER_USERNAME_DESC = "Mit diesem Namen meldet sich der Benutzer am System an"
USER_YOURPROFILE = "Persönliche Einstellungen"
MENU_FILE_PUB="Veröffentlichen"
MENU_FILE_PUB_DESC="Datei veröffentlichen"
+MENU_FILE_EDIT="Ersetzen"
+MENU_FILE_EDIT_DESC="Diese Datei durch eine andere ersetzen."
MENU_PAGE_PUB="Veröffentlichen"
MENU_PAGE_PUB_DESC="Seite veröffentlichen"
MENU_FOLDER_PUB="Veröffentlichen"