diff --git a/lib/adminlib.php b/lib/adminlib.php index dba2bb47dd8..2a16fbacc07 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -2705,7 +2705,7 @@ function admin_externalpage_print_footer($adminroot) { echo '