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
This commit is contained in:
markjaquith 2007-09-19 20:48:34 +00:00
parent 9eb6351d24
commit 4f6b825b8b

View File

@ -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;