diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2006-10-11 20:21:25 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2006-10-11 20:21:25 +0000 |
commit | d81f562b712f2387fa02290bf2ca86392ab356f2 (patch) | |
tree | d666cdefbe6ac320827a2c6cb473581b46e22c4c /maintenance/mctest.php | |
parent | 183851b06bd6c52f3cae5375f433da720d410447 (diff) |
Aktualisierung auf Version 1.8.1
Diffstat (limited to 'maintenance/mctest.php')
-rw-r--r-- | maintenance/mctest.php | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/maintenance/mctest.php b/maintenance/mctest.php index 95249b29..f8f4b965 100644 --- a/maintenance/mctest.php +++ b/maintenance/mctest.php @@ -1,10 +1,17 @@ <?php -/* $Id: mctest.php 12896 2006-01-28 08:22:24Z timstarling $ */ +/* $Id: mctest.php 16738 2006-10-02 17:04:13Z brion $ */ $optionsWithArgs = array( 'i' ); require_once('commandLine.inc'); +function microtime_float() +{ + list($usec, $sec) = explode(" ", microtime()); + return ((float)$usec + (float)$sec); +} + + #$wgDebugLogFile = '/dev/stdout'; if ( isset( $args[0] ) ) { @@ -49,11 +56,5 @@ foreach ( $wgMemCachedServers as $server ) { print "set: $set incr: $incr get: $get time: $exectime\n"; } -function microtime_float() -{ - list($usec, $sec) = explode(" ", microtime()); - return ((float)$usec + (float)$sec); -} - ?> |