fixed format_int() to remove leading zeros even when the number is all zeros (eg...

diff --git a/format.php b/format.php
index 1586ff0..bb34919 100644 (file)
--- a/format.php
+++ b/format.php
@@ -42,7 +42,7 @@ function format_options($str, $name) {
 
 function format_int($str) {
        $str = ereg_replace('[^0-9]', '', $str);
-       return ereg_replace('^0*([1-9])', '\1', $str);
+       return ereg_replace('^0*([0-9])', '\1', $str);
 }
 
 function format_decimal($str) {