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

Just multiply your number by zero.

$input=$input*1;
//000000123*1 = 123