MDL-31516 Fixing grade_edit_tree::format_number
authorJean-Philippe Gaudreau <jp.gaudreau@umontreal.ca>
Tue, 17 Jul 2012 13:03:17 +0000 (09:03 -0400)
committerJean-Philippe Gaudreau <jp.gaudreau@umontreal.ca>
Tue, 17 Jul 2012 13:03:17 +0000 (09:03 -0400)
grade/edit/tree/lib.php

index 5a268b4..eee8664 100644 (file)
@@ -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;