return ereg_replace('^0*([0-9])', '\1', $str);
}
-function format_decimal($str) {
+function format_positive_decimal($str) {
$str = ereg_replace('[^0-9.]', '', $str);
$pos = strpos($str, '.');
if($pos !== false) {
return $str;
}
+function format_decimal($str) {
+ $str = ereg_replace('[^0-9.-]', '', $str);
+ if(substr($str, 0, 1) == '-') {
+ $str = format_positive_decimal(substr($str, 1));
+ if($str !== '' && $str !== '0' && $str != '0.0') {
+ $str = '-' . $str;
+ }
+ return $str;
+ } else {
+ return format_positive_decimal($str);
+ }
+}
+
# return 0 of there's no digits
function format_int_0($str) {
$str = format_int($str);
}
function format_url($str) {
- # FIXME
- return format_oneline($str);
+ # FIXME check for TLD? encode special chars?
+ $str = trim(format_oneline($str));
+ if($str !== '') {
+ if(strpos($str, ':') === false) {
+ $str = 'http://' . $str;
+ }
+ }
+ return $str;
}
function format_money($str, $display_cents = true) {