MDL-49904 user: set title when editing another user

diff --git a/user/editadvanced.php b/user/editadvanced.php
index 024b9f5..81aa620 100644 (file)
--- a/user/editadvanced.php
+++ b/user/editadvanced.php
@@ -311,8 +311,10 @@ if ($user->id == -1 or ($user->id != $USER->id)) {
     if ($user->id == -1) {
         echo $OUTPUT->header();
     } else {
+        $streditmyprofile = get_string('editmyprofile');
         $userfullname = fullname($user, true);
         $PAGE->set_heading($userfullname);
+        $PAGE->set_title("$course->shortname: $streditmyprofile - $userfullname");
         echo $OUTPUT->header();
         echo $OUTPUT->heading($userfullname);
     }