Added a heading when editing a user as admin

2010-05-04 02:27:02 +00:00
parent fb80705a80
commit 8cb89f5bd5
1 changed files with 1 additions and 0 deletions
@@ -232,6 +232,7 @@ if ($user->id == -1 or ($user->id != $USER->id)) {
    if ($user->id == -1) {
        echo $OUTPUT->header();
    } else {
+        $PAGE->set_heading($SITE->fullname);
        echo $OUTPUT->header();
        $userfullname = fullname($user, true);
        echo $OUTPUT->heading($userfullname);