Fixed bug when main admin was editing externally-defined accounts

(the username/password was editable)

diff --git a/user/edit.html b/user/edit.html
index 710274e7c61682937dae1d783f1a43ad7f07ce95..17cc511e1a28367190e774ec41181b135f318319 100644 (file)
--- a/user/edit.html
+++ b/user/edit.html
@@ -13,7 +13,7 @@
 <?php
 if (isadmin()) {
     $theadmin = get_admin();
-    $adminself = ($theadmin->id == $USER->id);
+    $adminself = (($theadmin->id == $USER->id) and ($USER->id == $user->id));
     echo "<tr valign=top>";
     echo "<td><p>".get_string("username").":</td>";
     if ($adminself || $CFG->auth == "email" || $CFG->auth == "none" || $CFG->auth == "manual"){