diff --git a/lib/modinfolib.php b/lib/modinfolib.php index fc24b9b5837..6c8997c1499 100644 --- a/lib/modinfolib.php +++ b/lib/modinfolib.php @@ -1204,6 +1204,10 @@ function get_fast_modinfo(&$course, $userid=0) { debugging('Coding problem - missing course modinfo property in get_fast_modinfo() call'); } + if (!property_exists($course, 'sectioncache')) { + debugging('Coding problem - missing course sectioncache property in get_fast_modinfo() call'); + } + unset($cache[$course->id]); // prevent potential reference problems when switching users $cache[$course->id] = new course_modinfo($course, $userid);