Bonjour,
Je souhaiterais nommer (de manière dynamique et avec php) des fichiers de la manière suivante :
ref-0001.json
ref-0002.json
ref-0003.json
...
ref-0028.json
...
ref-0179.json
Je récupère dans un premier temps l'id de mes fichiers (1, 2, 3, 4), enseuite, je souhaiterais ajouter les 0 qui manquent pour obtenir le nom de mon fichier ref-xxxx. Exemples :
id = 5 » ref-0005.json
id = 27 » ref-0027.json
Vous avez compris que je ne sais pas comment faire pour ajouter les 0 avant l'id (peut-être existe-t-il une fonction php qui fait ça, j'ai regardé du côté de number_formatter mais je crains fort que cela ne me sera d'aucune utilité. Il me faudra peut-être fare quelque chose de plus complexe : vérifier le nombre de chiffres de l'id, puis compléter avec les 0 qu'il faut, mais comment fait-on pour obtenir le nombre de chiffres d'un nombre ? (houla, désolé pour les répétitions !)
Merci d'avance.
Je souhaiterais nommer (de manière dynamique et avec php) des fichiers de la manière suivante :
ref-0001.json
ref-0002.json
ref-0003.json
...
ref-0028.json
...
ref-0179.json
Je récupère dans un premier temps l'id de mes fichiers (1, 2, 3, 4), enseuite, je souhaiterais ajouter les 0 qui manquent pour obtenir le nom de mon fichier ref-xxxx. Exemples :
id = 5 » ref-0005.json
id = 27 » ref-0027.json
Vous avez compris que je ne sais pas comment faire pour ajouter les 0 avant l'id (peut-être existe-t-il une fonction php qui fait ça, j'ai regardé du côté de number_formatter mais je crains fort que cela ne me sera d'aucune utilité. Il me faudra peut-être fare quelque chose de plus complexe : vérifier le nombre de chiffres de l'id, puis compléter avec les 0 qu'il faut, mais comment fait-on pour obtenir le nombre de chiffres d'un nombre ? (houla, désolé pour les répétitions !)
Merci d'avance.