// (and group) settings. This is needed in situations when a fav report is stored in db
// long ago, but user or group attributes are now changed, so we have to adjust.
static function adjustOptions($options) {
// (and group) settings. This is needed in situations when a fav report is stored in db
// long ago, but user or group attributes are now changed, so we have to adjust.
static function adjustOptions($options) {
- if (in_array($user_to_adjust['id'], $user_ids)) {
- $adjusted_user_ids[] = $user_to_adjust['id'];
+ if (in_array($user_to_adjust, $user_ids)) {
+ $adjusted_user_ids[] = $user_to_adjust;