diff --git a/wp-settings.php b/wp-settings.php
index 1aed6a17f..903f7fa93 100644
--- a/wp-settings.php
+++ b/wp-settings.php
@@ -88,7 +88,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 = ( function_exists('number_format_i18n') ) ? number_format_i18n($timetotal, $precision) : number_format($timetotal, $precision);
 	if ( $display )
 		echo $r;
 	return $r;