plugins/admin/UserManager.php
changeset 660 2f4d90b67735
parent 631 f4f4146d8b6c
child 685 17ebe24cdf85
--- 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'];