Hi,
I was wondering if PHP has a function that will format a string of numbers so that the result is of a specified length with leading zeros as needed.
For instance, an input of "12345" would result in "00012345".
If there isn't a function to do this I'll just check the length and add the zeros manually.
Thanks.