“Format PHP int à 9 chiffres avec des zéros précédents” Réponses codées

Format PHP int à 9 chiffres avec des zéros précédents

str_pad($input, 9, "0", STR_PAD_LEFT);