Trim any zeros at the beginning of a string using PHP

Question

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 dig

Answer 1

You can always force PHP to parse this as an int. If you need to, you can convert it back to a string later

(int) "000123"