user manager plugin

darcs-hash:20060125000731-9b6ab-f42d90c270edd795038b814516a1da90c0824e71.gz

18 files changed, 138 insertions, 0 deletions

diff --git a/lib/plugins/usermanager/lang/de/add.txt b/lib/plugins/usermanager/lang/de/add.txt
new file mode 100644
index 000000000..925fa5042
--- /dev/null
+++ b/lib/plugins/usermanager/lang/de/add.txt
@@ -0,0 +1 @@
+===== Benutzer hinzufügen =====
diff --git a/lib/plugins/usermanager/lang/de/delete.txt b/lib/plugins/usermanager/lang/de/delete.txt
new file mode 100644
index 000000000..4f3bbbd03
--- /dev/null
+++ b/lib/plugins/usermanager/lang/de/delete.txt
@@ -0,0 +1 @@
+===== Benutzer löschen =====
diff --git a/lib/plugins/usermanager/lang/de/edit.txt b/lib/plugins/usermanager/lang/de/edit.txt
new file mode 100644
index 000000000..9419200dd
--- /dev/null
+++ b/lib/plugins/usermanager/lang/de/edit.txt
@@ -0,0 +1 @@
+===== Benutzer ändern =====
diff --git a/lib/plugins/usermanager/lang/de/intro.txt b/lib/plugins/usermanager/lang/de/intro.txt
new file mode 100644
index 000000000..dab4d2a06
--- /dev/null
+++ b/lib/plugins/usermanager/lang/de/intro.txt
@@ -0,0 +1 @@
+====== Benutzer pflegen... ======
diff --git a/lib/plugins/usermanager/lang/de/lang.php b/lib/plugins/usermanager/lang/de/lang.php
new file mode 100644
index 000000000..4ce96bc81
--- /dev/null
+++ b/lib/plugins/usermanager/lang/de/lang.php
@@ -0,0 +1,48 @@
+<?php
+/**
+ * english language file
+ */
+ 
+// settings must be present and set appropriately for the language
+$lang['encoding']   = 'utf-8';
+$lang['direction']  = 'ltr';
+ 
+// for admin plugins, the menu prompt to be displayed in the admin menu
+// if set here, the plugin doesn't need to override the getMenuText() method
+$lang['menu'] = 'Benutzer pflegen...'; 
+ 
+// custom language strings for the plugin
+$lang['badauth']     = 'Ungültiger Methode zur Autentifizierung';
+
+$lang['user_id']     = 'Benutzer';
+$lang['user_pass']   = 'Passwort';
+$lang['user_name']   = 'Name';
+$lang['user_mail']   = 'Email';
+$lang['user_groups'] = 'Gruppen';
+
+$lang['field']       = 'Feld';
+$lang['value']       = 'Wert';
+$lang['add']         = 'Hinzufügen';
+$lang['delete']      = 'Löschen';
+$lang['delete_selected'] = 'Ausgewählte löschen';
+$lang['edit']        = 'Ändern';
+$lang['edit_prompt'] = 'Benutzerdaten ändern';
+$lang['modify']      = 'Speichern';
+$lang['search']      = 'Suchen';
+$lang['search_prompt'] = 'Benutzerdaten filtern';
+$lang['clear']       = 'Filter zurücksetzen';
+$lang['filter']      = 'Filter';
+
+$lang['summary']     = 'Zeige Benutzer %1$d-%2$d von %3$d gefundenen. %4$d Benutzer insgesamt.';
+$lang['nonefound']   = 'Keine Benutzer gefunden. %d Benutzer insgesamt.';
+$lang['delete_ok']   = '%d Benutzer gelöscht';
+$lang['delete_fail'] = '%d konnten nicht gelöscht werden.';
+$lang['update_ok']   = 'Benutzerdaten erfolgreich geändert.';
+$lang['update_fail'] = 'Änderung der Benutzerdaten fehlgeschlagen.';
+
+$lang['start']  = 'Anfang';
+$lang['prev']   = 'Vorherige';
+$lang['next']   = 'Nächste';
+$lang['last']   = 'Ende';
+
+?>
diff --git a/lib/plugins/usermanager/lang/de/list.txt b/lib/plugins/usermanager/lang/de/list.txt
new file mode 100644
index 000000000..8d6d5fb46
--- /dev/null
+++ b/lib/plugins/usermanager/lang/de/list.txt
@@ -0,0 +1 @@
+===== Benutzerliste =====
diff --git a/lib/plugins/usermanager/lang/en/add.txt b/lib/plugins/usermanager/lang/en/add.txt
new file mode 100644
index 000000000..9afecb5cd
--- /dev/null
+++ b/lib/plugins/usermanager/lang/en/add.txt
@@ -0,0 +1 @@
+===== Add user =====
diff --git a/lib/plugins/usermanager/lang/en/delete.txt b/lib/plugins/usermanager/lang/en/delete.txt
new file mode 100644
index 000000000..c3ca90dbb
--- /dev/null
+++ b/lib/plugins/usermanager/lang/en/delete.txt
@@ -0,0 +1 @@
+===== Delete user =====
diff --git a/lib/plugins/usermanager/lang/en/edit.txt b/lib/plugins/usermanager/lang/en/edit.txt
new file mode 100644
index 000000000..4d02dfddc
--- /dev/null
+++ b/lib/plugins/usermanager/lang/en/edit.txt
@@ -0,0 +1 @@
+===== Edit user =====
diff --git a/lib/plugins/usermanager/lang/en/intro.txt b/lib/plugins/usermanager/lang/en/intro.txt
new file mode 100644
index 000000000..73bf55613
--- /dev/null
+++ b/lib/plugins/usermanager/lang/en/intro.txt
@@ -0,0 +1 @@
+====== User Manager ======
diff --git a/lib/plugins/usermanager/lang/en/lang.php b/lib/plugins/usermanager/lang/en/lang.php
new file mode 100644
index 000000000..e76357872
--- /dev/null
+++ b/lib/plugins/usermanager/lang/en/lang.php
@@ -0,0 +1,49 @@
+<?php
+/**
+ * english language file
+ */
+ 
+// settings must be present and set appropriately for the language
+$lang['encoding']   = 'utf-8';
+$lang['direction']  = 'ltr';
+ 
+// for admin plugins, the menu prompt to be displayed in the admin menu
+// if set here, the plugin doesn't need to override the getMenuText() method
+$lang['menu'] = 'User Manager'; 
+ 
+// custom language strings for the plugin
+$lang['badauth']     = 'invalid auth mechanism';
+
+$lang['user_id']     = 'User';
+$lang['user_pass']   = 'Password';
+$lang['user_name']   = 'Real Name';
+$lang['user_mail']   = 'Email';
+$lang['user_groups'] = 'Groups';
+
+$lang['field']       = 'Field';
+$lang['value']       = 'Value';
+$lang['add']         = 'Add';
+$lang['delete']      = 'Delete';
+$lang['delete_selected'] = 'Delete Selected';
+$lang['edit']        = 'Edit';
+$lang['edit_prompt'] = 'Edit this user';
+$lang['modify']      = 'Save Changes';
+$lang['search']      = 'Search';
+$lang['search_prompt'] = 'Perform search';
+$lang['clear']       = 'Reset Search Filter';
+$lang['filter']      = 'Filter';
+
+$lang['summary']     = 'Displaying users %1$d-%2$d of %3$d found. %4$d users total.';
+$lang['nonefound']   = 'No users found. %d users total.';
+$lang['delete_ok']   = '%d users deleted';
+$lang['delete_fail'] = '%d failed deleting.';
+$lang['update_ok']   = 'user updated sucessfully';
+$lang['update_fail'] = 'user update failed';
+$lang['update_exists'] = 'user name change failed, the specified user name (%s) already exists (any other changes will be applied).';
+
+$lang['start']  = 'start';
+$lang['prev']   = 'previous';
+$lang['next']   = 'next';
+$lang['last']   = 'last';
+
+?>
diff --git a/lib/plugins/usermanager/lang/en/list.txt b/lib/plugins/usermanager/lang/en/list.txt
new file mode 100644
index 000000000..54c45caf7
--- /dev/null
+++ b/lib/plugins/usermanager/lang/en/list.txt
@@ -0,0 +1 @@
+===== User List =====
diff --git a/lib/plugins/usermanager/lang/fr/add.txt b/lib/plugins/usermanager/lang/fr/add.txt
new file mode 100644
index 000000000..e60b8b894
--- /dev/null
+++ b/lib/plugins/usermanager/lang/fr/add.txt
@@ -0,0 +1 @@
+===== Ajouter un utilisateur =====
diff --git a/lib/plugins/usermanager/lang/fr/delete.txt b/lib/plugins/usermanager/lang/fr/delete.txt
new file mode 100644
index 000000000..778f44192
--- /dev/null
+++ b/lib/plugins/usermanager/lang/fr/delete.txt
@@ -0,0 +1 @@
+===== Supprimer un utilisateur =====
diff --git a/lib/plugins/usermanager/lang/fr/edit.txt b/lib/plugins/usermanager/lang/fr/edit.txt
new file mode 100644
index 000000000..ec193eb5a
--- /dev/null
+++ b/lib/plugins/usermanager/lang/fr/edit.txt
@@ -0,0 +1 @@
+===== Modifier les informations d'un utilisateur =====
diff --git a/lib/plugins/usermanager/lang/fr/intro.txt b/lib/plugins/usermanager/lang/fr/intro.txt
new file mode 100644
index 000000000..84987b0bf
--- /dev/null
+++ b/lib/plugins/usermanager/lang/fr/intro.txt
@@ -0,0 +1 @@
+====== Gestion des utilisateurs ======
diff --git a/lib/plugins/usermanager/lang/fr/lang.php b/lib/plugins/usermanager/lang/fr/lang.php
new file mode 100644
index 000000000..5f64cc962
--- /dev/null
+++ b/lib/plugins/usermanager/lang/fr/lang.php
@@ -0,0 +1,25 @@
+<?php
+/**
+ * french language file
+ */
+ 
+// settings must be present and set appropriately for the language
+$lang['encoding']   = 'utf-8';
+$lang['direction']  = 'ltr';
+ 
+// for admin plugins, the menu prompt to be displayed in the admin menu
+// if set here, the plugin doesn't need to override the getMenuText() method
+$lang['menu'] = 'Gestion des utilisateurs'; 
+ 
+// custom language strings for the plugin
+$lang["user_id"] = "Identifiant";
+$lang["user_pass"] = "Mot de passe";
+$lang["user_name"] = "Nom";
+$lang["user_mail"] = "E-mail";
+$lang["user_groups"] = "Groupes";
+
+$lang["field"] = "Champ";
+$lang["value"] = "Valeur";
+$lang["add"] = "Ajouter";
+$lang["delete"] = "Supprimer";
+$lang["edit"] = "Modifier";
diff --git a/lib/plugins/usermanager/lang/fr/list.txt b/lib/plugins/usermanager/lang/fr/list.txt
new file mode 100644
index 000000000..48804ddae
--- /dev/null
+++ b/lib/plugins/usermanager/lang/fr/list.txt
@@ -0,0 +1,2 @@
+===== Liste =====
+La liste des utilisateurs