diff options
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); -} - ?> |