get_config(): fix a call using the oldstyle return value

diff --git a/course/lib.php b/course/lib.php
index fa2973d7a10bb08edc5359ff1a3858a9876ef67c..658784cb2087b973b026f9355488153887a1374e 100644 (file)
--- a/course/lib.php
+++ b/course/lib.php
@@ -1786,7 +1786,7 @@ function print_course($course, $width="100%") {
     
     /// first find all roles that are supposed to be displayed
     if ($managerroles = get_config('', 'coursemanager')) {
-        $coursemanagerroles = split(',', $managerroles->value);
+        $coursemanagerroles = split(',', $managerroles);
         foreach ($coursemanagerroles as $roleid) {
             $role = get_record('role','id',$roleid);
             if ($users = get_role_users($roleid, $context, true, '', 'u.lastname ASC', true)) {