From 4f6b825b8bb0b4e8ccf3eac0ae465d6724434dfa Mon Sep 17 00:00:00 2001
From: markjaquith <markjaquith@1a063a9b-81f0-0310-95a4-ce76da25c4cd>
Date: Wed, 19 Sep 2007 20:48:34 +0000
Subject: [PATCH] Make sure number_format_i18n() is available before calling it
 in timer_stop().  fixes #5016

git-svn-id: http://svn.automattic.com/wordpress/trunk@6139 1a063a9b-81f0-0310-95a4-ce76da25c4cd
---
 wp-settings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;