Formatage de chaine en php

Logiciel & apps Programmation
1

Bonjour,

Je cherche à créer un formatage de nombre sur 5 digits
Concrètement j’aimerais que le nombre 1 par exemple soit transformé en 00001 ou le nombre 10 en 00010, comment faire ? Existe t-il une fonction intégrée en PHP m’évitant de réécrire une fonction spéciale ?

Merci d’avance.
Edité le 25/11/2007 à 12:03

2

J’ai finalement trouvé avec la focntion sprintf

3

Dans ce cas précis, tu as aussi la fonction str_pad.