Ejemplo n.º 1
0
 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;
 }