diff --git a/mozilla/webtools/update/developers/usermanager.php b/mozilla/webtools/update/developers/usermanager.php index 516cef34c1d..2006448de00 100755 --- a/mozilla/webtools/update/developers/usermanager.php +++ b/mozilla/webtools/update/developers/usermanager.php @@ -24,29 +24,35 @@ include"inc_sidebar.php"; MySQL Error ".mysql_errno().": ".mysql_error()."", E_USER_NOTICE); - if (mysql_num_rows($sql_result)=="0") { - echo"