I wanted to format the numbers of the statistics, because they were hard to read especially the number of views.
I modified index.php as follows:
In line 302 (in the gather gallery statistics section)
replace:
$hit_count = (int)$nbEnr[0];
with
$hit_count = number_format((int)$nbEnr[0],0,',','.');
Here are the official php instructions:
http://php.net/manual/en/function.number-format.php
I am not a coder and I don' t know if this is correct, but it works for me. Maybe there is an easier or better way to do this. It would be great, if a coder can check this.
The function number_format() is meant to be used exactly for that purpose.
That's why $lang_decimal_separator = array(',', '.'); //cpg1.5 // symbol used to separate thousands from hundreds and rounded number from decimal placehas been introduced in the lang files for cpg1.5.x