Cast added due to API changes in PHP 5.3.1
authorRoland Häder <roland@mxchange.org>
Mon, 22 Mar 2010 01:28:38 +0000 (01:28 +0000)
committerRoland Häder <roland@mxchange.org>
Mon, 22 Mar 2010 01:28:38 +0000 (01:28 +0000)
inc/functions.php

index 69477a7..b21b98e 100644 (file)
@@ -785,6 +785,9 @@ function translatePoolType ($type) {
 
 // Translates the american decimal dot into a german comma
 function translateComma ($dotted, $cut = true, $max = '0') {
+       // First, cast all to double, due to PHP changes
+       $dotted = (double) $dotted;
+
        // Default is 3 you can change this in admin area "Misc -> Misc Options"
        if (!isConfigEntrySet('max_comma')) setConfigEntry('max_comma', 3);