diff --git a/lib/adminlib.php b/lib/adminlib.php index ecb240dee48..192b66b128a 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -3231,18 +3231,20 @@ class admin_setting_configtime extends admin_setting { $defaultinfo = NULL; } - $return = '