+ /// Muestra el usuario como una opción de un select HTML.
+ function toHtmlOption($selected = null)
+ {
+ $cred = $this->esAsesor() ? '' : ' ('.$this->getCreditos().')';
+ $admin = $this->esAdmin() ? '* ' : '';
+ if (!is_null($selected))
+ $selected = ($this->getId() == $user) ? ' selected="selected"' : '';
+ return sprintf("<option value=\"%s\"%s>%s%s %s%s</option>\n",
+ $this->getId(), $selected, $admin, $this->getNombre(),
+ $this->getApellido(), $cred);
+ }
+