diff options
Diffstat (limited to 'maintenance/importDump.php')
| -rw-r--r-- | maintenance/importDump.php | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/maintenance/importDump.php b/maintenance/importDump.php index 2ad0872f..f51d7ad7 100644 --- a/maintenance/importDump.php +++ b/maintenance/importDump.php @@ -1,6 +1,8 @@ <?php /** - * Copyright (C) 2005 Brion Vibber <brion@pobox.com> + * Import XML dump files into the current wiki. + * + * Copyright © 2005 Brion Vibber <brion@pobox.com> * http://www.mediawiki.org/ * * This program is free software; you can redistribute it and/or modify @@ -22,9 +24,11 @@ * @ingroup Maintenance */ -require_once( dirname( __FILE__ ) . '/Maintenance.php' ); +require_once( __DIR__ . '/Maintenance.php' ); /** + * Maintenance script that imports XML dump files into the current wiki. + * * @ingroup Maintenance */ class BackupReader extends Maintenance { @@ -204,7 +208,7 @@ TEXT; function showReport() { if ( !$this->mQuiet ) { - $delta = wfTime() - $this->startTime; + $delta = microtime( true ) - $this->startTime; if ( $delta ) { $rate = sprintf( "%.2f", $this->pageCount / $delta ); $revrate = sprintf( "%.2f", $this->revCount / $delta ); @@ -250,7 +254,7 @@ TEXT; } function importFromHandle( $handle ) { - $this->startTime = wfTime(); + $this->startTime = microtime( true ); $source = new ImportStreamSource( $handle ); $importer = new WikiImporter( $source ); |