diff options
Diffstat (limited to 'wp-settings.php')
-rw-r--r-- | wp-settings.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wp-settings.php b/wp-settings.php index e57af7e..e5d13c2 100644 --- a/wp-settings.php +++ b/wp-settings.php @@ -77,7 +77,7 @@ function timer_stop($display = 0, $precision = 3) { //if called like timer_stop( $mtime = $mtime[1] + $mtime[0]; $timeend = $mtime; $timetotal = $timeend-$timestart; - $r = number_format_i18n($timetotal, $precision); + $r = number_format($timetotal, $precision); if ( $display ) echo $r; return $r; |