Je voudrai séparer les milliers avec gettext (en français avec un espace tous les trois chiffres, par exemple, et selon la localisation de la page pour les autres langues évidemment) pour un petit texte à internationaliser. Il s'agit d'un entier.
Je ne crois pas que number_format puisse m'aider, puisque le séparateur doit être inclus dans la chaîne de caractères...
$string = '248400 ';
printf(_('La différence est de %1$.5f secondes.'), $string); // Inutile, il s'agit d'un entier, mais je sais le faire !
/* Affiche "La différence est de 248400,00000 secondes." */
printf(_('La différence est de %1$s secondes.'), $string); // Normal, renvoie la chaîne comme un texte
/* Affiche "La différence est de 248400 secondes." */
Merci pour votre aide. Cordialement,
Gaspard