public function output_user($user) { return parent::output_user($user) . ' (' . $user->numgroups . ')'; }
protected function get_options() { $options = parent::get_options(); $options['file'] = 'local/mail/recipients_selector.php'; return $options; }