debug :Temps de recherche = ".duree($TimeStamp_0,$TimeStamp_1)." s
";
#############
# Fin DEBUG #
#############
if (count($people)) {
// affichage des r?sultats
// Nettoyage des _ dans l'intitul? du groupe
$intitule = strtr($filter,"_"," ");
echo "
Nom | login | ".gettext("Date naiss")." |
\n";
if (($people[$loop]["cat"] == "Equipe") or ($people[$loop]["prof"]==1)) {
echo "![]() ![]() ![]() | ".$people[$loop]["uid"]." | ".$naiss[0]." | \n"; echo "
Générer un export CSV du groupe
\n"; } else { echo " ".gettext("Pas de membres")." ".gettext(" dans le groupe")." $filter.