diff --git a/lib/adminlib.php b/lib/adminlib.php
index 19ca8849ead..88aec4013e1 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -3232,16 +3232,19 @@ class admin_setting_configtime extends admin_setting {
}
$return = '
'.
+ '' .
'::
';
- return format_admin_setting($this, $this->visiblename, $return, $this->description, false, '', $defaultinfo, $query);
+ return format_admin_setting($this, $this->visiblename, $return, $this->description,
+ $this->get_id() . 'h', '', $defaultinfo, $query);
}
}