diff --git a/admin/roles/allow.php b/admin/roles/allow.php index 383455e0d27..45f8b885660 100644 --- a/admin/roles/allow.php +++ b/admin/roles/allow.php @@ -80,7 +80,8 @@ echo $OUTPUT->box($controller->get_intro_text()); echo '
' . get_string('highlightedcellsshowdefault', 'core_role') . '