> Does anybody have a clever and efficient way of
> getting rid of leading zeroes in a string?

If the string is completely numeric, you can do something
like this:

$string = "005847";
$string = (int)$string;

Apart from that, you'll have to run it through some sort of
regex, I suppose.


PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to