diff --git a/lib/adminlib.php b/lib/adminlib.php index 894ae7945ec..c3eb6e0e703 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -3232,11 +3232,13 @@ class admin_setting_configtime extends admin_setting { } $return = '