MDL-31516 Fixing grade_edit_tree::format_number

2012-07-17 09:03:17 -04:00
parent 3b52187e25
commit 35cf43cb42
1 changed files with 1 additions and 1 deletions
@@ -389,7 +389,7 @@ class grade_edit_tree {
    //Grader report has its own decimal place settings so they are handled elsewhere
    static function format_number($number) {
        $formatted = rtrim(format_float($number, 4),'0');
-        if (substr($formatted, -1)=='.') { //if last char is the decimal point
+        if (substr($formatted, -1)==get_string('decsep', 'langconfig')) { //if last char is the decimal point
            $formatted .= '0';
        }
        return $formatted;