diff --git a/lib/adminlib.php b/lib/adminlib.php index 5a3bb244a9f..f5f8bbb14d9 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -3225,11 +3225,13 @@ class admin_setting_configtime extends admin_setting { } $return = '
'. + '' . '::