dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0332f4c
)
Added function wfTime to get current time as a float
author
Mr. E23
<e23@users.mediawiki.org>
Wed, 18 Feb 2004 19:06:22 +0000
(19:06 +0000)
committer
Mr. E23
<e23@users.mediawiki.org>
Wed, 18 Feb 2004 19:06:22 +0000
(19:06 +0000)
includes/GlobalFunctions.php
patch
|
blob
|
history
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);