From c782de1531633e505b84cefd6c6688070e50b4d2 Mon Sep 17 00:00:00 2001
From: Mark Jaquith <markjaquith@git.wordpress.org>
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: https://develop.svn.wordpress.org/trunk@6139 602fd350-edb4-49c9-b593-d223f7449a82
---
 wp-settings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wp-settings.php b/wp-settings.php
index 1aed6a17f0..903f7fa93f 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;