From 8cb89f5bd54be2deb2fdf5cd983d829be8b4ded8 Mon Sep 17 00:00:00 2001 From: Martin Dougiamas Date: Tue, 4 May 2010 02:27:02 +0000 Subject: [PATCH] Added a heading when editing a user as admin --- user/editadvanced.php | 1 + 1 file changed, 1 insertion(+) diff --git a/user/editadvanced.php b/user/editadvanced.php index 5653d9580af..afd99a2156d 100644 --- a/user/editadvanced.php +++ b/user/editadvanced.php @@ -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);