# HG changeset patch
# User rejo
# Date 1206649800 0
# Node ID a4b469dac1611404dd60f18bfab43aeccb5f0261
# Parent  9c10fd62336871b08d70511d283a14b12dbec4ba
[feladat @ 199]
Changed layout of links to additional menu options in user management windows. Suggestion by Maarten te Paske.

diff -r 9c10fd623368 -r a4b469dac161 users.php
--- a/users.php	Thu Mar 27 17:55:33 2008 +0000
+++ b/users.php	Thu Mar 27 20:30:00 2008 +0000
@@ -84,15 +84,15 @@
 echo "     <input type=\"submit\" class=\"button\" name=\"commit\" value=\"" . _('Commit changes') . "\">\n";
 echo "    </form>\n";
 
-echo "    <p>\n";
+echo "    <ul>\n";
 if ($perm_templ_perm_edit == "1") {
-	echo _('Edit') . " <a href=\"list_perm_templ.php\">" . _('permission templates') . "</a>. \n";
+	echo "<li><a href=\"list_perm_templ.php\">" . _('Edit permission templates') . "</a>.</li>\n";
 }
 
 if (verify_permission(user_add_new)) {
-	echo _('Add') . " <a href=\"add_user.php\">" . _('user') . "</a>. \n";
+	echo "<li><a href=\"add_user.php\">" . _('Add user') . "</a>.</li>\n";
 }
-echo "    </p>\n";
+echo "    </ul>\n";
 
 
 include_once("inc/footer.inc.php");