From: Mr. E23 <e23@users.mediawiki.org>
Date: Wed, 18 Feb 2004 19:06:22 +0000 (+0000)
Subject: Added function wfTime to get current time as a float
X-Git-Tag: 1.3.0beta1~976
X-Git-Url: https://git.cyclocoop.org/%27.%24link.%27?a=commitdiff_plain;h=4e89b41d15b2b00bcc6b73af83fffe0829257dc9;p=lhc%2Fweb%2Fwiklou.git

Added function wfTime to get current time as a float
---

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index c9cbe1b48a..eac5e55ebf 100644
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -714,6 +714,11 @@ function wfQuotedPrintable( $string, $charset = "" )
 	return $out;
 }
 
+function wfTime(){
+	$st = explode( " ", microtime() );
+	return (float)$st[0] + (float)$st[1];
+}
+
 # Changes the first character to an HTML entity
 function wfHtmlEscapeFirst( $text ) {
 	$ord = ord($text);