Added function wfTime to get current time as a float

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index c9cbe1b..eac5e55 100644 (file)
--- 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);