| /gestion/manager/htdocs/user_edit.php |
|---|
| 215,9 → 215,7 |
| echo "$desc\n"; |
| else |
| echo "$desc ($i)\n"; |
| print <<<EOM |
| </td> |
| EOM; |
| echo "</td>"; |
| if ($show_ops){ |
| switch ($key) |
| { |
| 289,27 → 287,6 |
| EOM; |
| } |
| } |
| ?> |
| <!-- |
| <tr> |
| <td align=right colspan=<?php print $colspan ?> bgcolor="#d0ddb0"> |
| Ajouter un attribut |
| </td> |
| <td> |
| <select name="add_attr" OnChange="this.form.add.value=1;this.form.submit()"> |
| <?php |
| foreach ($show_attrs as $key => $desc){ |
| $name = $attrmap["$key"]; |
| print <<<EOM |
| <option value="$name">$desc |
| EOM; |
| } |
| ?> |
| </select> |
| </td> |
| </tr> |
| --> |
| <?php |
| if ($user_type != 'group'){ |
| echo <<<EOM |
| <tr> |