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 drop the leading zeros by converting from a string to a number and back again. For example:

$str = '000006767';
echo ''.+$str; // echo "6767"