Admins can edit the instituion and department fields now.

Long-standing oversight!

diff --git a/user/edit.html b/user/edit.html
index 1ec77137b08968b8ac825273176afc41bf8d952b..7c7ee543d8c05ce8390636cbc78f4aab4dd95d0e 100644 (file)
--- a/user/edit.html
+++ b/user/edit.html
@@ -215,6 +215,18 @@ if (isadmin()) {
     <?php if (isset($err["idnumber"])) formerr($err["idnumber"]); ?>
     </td>
 </tr>
+<?php if (isadmin()) {  ?>
+<tr valign=top>
+    <td><p><?php print_string("institution") ?>:</td>
+    <td><input type="text" name="institution" size=25 value="<?php p($user->institution) ?>"> <?php p($teacheronly) ?>
+    </td>
+</tr>
+<tr valign=top>
+    <td><p><?php print_string("department") ?>:</td>
+    <td><input type="text" name="department" size=25 value="<?php p($user->department) ?>"> <?php p($teacheronly) ?>
+    </td>
+</tr>
+<?php } ?>
 <tr valign=top>
     <td><p><?php print_string("phone") ?> 1:</td>
     <td><input type="text" name="phone1" size=25 value="<?php p($user->phone1) ?>"> <?php p($teacheronly) ?>