diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
| commit | 63601400e476c6cf43d985f3e7b9864681695ed4 (patch) | |
| tree | f7846203a952e38aaf66989d0a4702779f549962 /maintenance/importDump.php | |
| parent | 8ff01378c9e0207f9169b81966a51def645b6a51 (diff) | |
Update to MediaWiki 1.20.2
this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024
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 ); |