From dacd5daa7aa2311a6a8eca2de2bcaf06c6217800 Mon Sep 17 00:00:00 2001
From: Jean-Philippe Gaudreau <jp.gaudreau@umontreal.ca>
Date: Tue, 17 Jul 2012 09:01:10 -0400
Subject: [PATCH] MDL-31516 Fixing grade_edit_tree::format_number

---
 grade/edit/tree/lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grade/edit/tree/lib.php b/grade/edit/tree/lib.php
index 5a268b40c0f..eee86647354 100644
--- a/grade/edit/tree/lib.php
+++ b/grade/edit/tree/lib.php
@@ -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;