}
// init activegroup array
- if (!array_key_exists('activegroup', $SESSION)) {
+ if (!isset($SESSION->activegroup)) {
$SESSION->activegroup = array();
}
if (!array_key_exists($course->id, $SESSION->activegroup)) {
}
// init activegroup array
- if (!array_key_exists('activegroup', $SESSION)) {
+ if (!isset($SESSION->activegroup)) {
$SESSION->activegroup = array();
}
if (!array_key_exists($cm->course, $SESSION->activegroup)) {