From 4e89b41d15b2b00bcc6b73af83fffe0829257dc9 Mon Sep 17 00:00:00 2001
From: "Mr. E23" <e23@users.mediawiki.org>
Date: Wed, 18 Feb 2004 19:06:22 +0000
Subject: [PATCH] Added function wfTime to get current time as a float

---
 includes/GlobalFunctions.php | 5 +++++
 1 file changed, 5 insertions(+)

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);
-- 
2.20.1