diff --git a/user/view.php b/user/view.php index 8c31d7181f4d0..1907f82ba2d62 100644 --- a/user/view.php +++ b/user/view.php @@ -439,15 +439,13 @@ echo ""; } echo "\n"; -print_object($USER->capabilities); -/* - if (debugging() && $USER->id == $user->id) { // TEMPORARY in DEV! + + if ($CFG->debugdisplay && debugging('', DEBUG_DEVELOPER) && $USER->id == $user->id) { // Show user object echo '
'; print_heading('DEBUG MODE: User session variables'); print_object($USER); } -*/ -//print_object($USER->capabilities); + print_footer($course); /// Functions ///////