# HG changeset patch
# User Dan
# Date 1216764443 18000
# Node ID 2f4d90b67735217d48a7585bbcdcdfaa82ff4f0f
# Parent  16b5b89c8055c1bd5b104aaee5df106d59c8a50c
Made Admin:UserManager accept "username" as well as "user" on GET

diff -r 16b5b89c8055 -r 2f4d90b67735 plugins/admin/UserManager.php
--- a/plugins/admin/UserManager.php	Tue Jul 22 17:06:29 2008 -0500
+++ b/plugins/admin/UserManager.php	Tue Jul 22 17:07:23 2008 -0500
@@ -475,6 +475,10 @@
     {
       $username =& $_GET['user'];
     }
+    else if ( isset($_GET['username']) )
+    {
+      $username =& $_GET['username'];
+    }
     else if ( isset($_POST['username']) )
     {
       $username =& $_POST['username'];