Users will be filling a field in with numbers relating to their account. Unfortunately, some users will have zeroes prefixed to the beginning of the number to make up a six digit number (e.g. 000123, 001234) and others won't (e.g. 123, 1234). I want to 'trim' the numbers from users that have been prefixed with zeros in front so if a user enters 000123, it will remove the zeroes to become 123.
I've had a look at trim and substr but I don't believe these will do the job?
You can use
ltrim()
and pass the characters that should be removed as second parameter:ltrim
only removes the specified characters (default white space) from the beginning (left side) of the string.You can always force PHP to parse this as an int. If you need to, you can convert it back to a string later
You can drop the leading zeros by converting from a string to a number and back again. For example:
should do the job, according to the PHP Manual