diff --git a/lib/adminlib.php b/lib/adminlib.php index 92a7a85a25d..9163be76dff 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -1415,7 +1415,8 @@ class admin_setting_configselect extends admin_setting { } $return = '';