diff --git a/report/log/index.php b/report/log/index.php index dbe5775fcf3..6c0e7ede425 100644 --- a/report/log/index.php +++ b/report/log/index.php @@ -125,6 +125,11 @@ if (!empty($page)) { $stradministration = get_string('administration'); $strreports = get_string('reports'); +// Before we close session, make sure we have editing information in session. +$adminediting = optional_param('adminedit', -1, PARAM_BOOL); +if ($PAGE->user_allowed_editing() && $adminediting != -1) { + $USER->editing = $adminediting; +} session_get_instance()->write_close(); if (!empty($chooselog)) {