added decimal dots to start page statistics

2013-08-04 16:00:37 +02:00
parent 4ba33b9156
commit 229c14071c
4 changed files with 22 additions and 4 deletions
--- a/htdocs/lib2/common.inc.php
+++ b/htdocs/lib2/common.inc.php
@ -388,4 +388,18 @@ function helppagelink($ocpage, $title='Instructions')
 	return "";
 }

+
+// format number with 1000er dots
+
+function number1000($n)
+{
+	global $opt;
+
+	if (isset($opt['locale'][$opt['template']['locale']]['format']['dot1000']) &&
+	    $opt['locale'][$opt['template']['locale']]['format']['dot1000'] == ',')
+		return number_format($n);
+	else
+		return str_replace(',', '.', number_format($n));
+}
+
 ?>