| /trunk/jrest/services/Auth.php |
|---|
| 201,6 → 201,8 |
| if (count($infos) == 0 || empty($infos[$login])) { |
| $this->erreur("could not get user info"); |
| } |
| // nom Wiki |
| $infos[$login]['nomWiki'] = $util->formaterNomWiki($infos[$login], "UnknownWikiName"); |
| // date de dernière modification du profil |
| $dateDerniereModif = $util->getDateDerniereModifProfil($infos[$login]['id'], true); |
| $infos[$login]['dateDerniereModif'] = $dateDerniereModif; |