public function output_user($user) { return parent::output_user($user) . ' (' . $user->numgroups . ')'; }