Mention the batch-download time in copyFileBackend.php.

Change-Id: Idc46f9ed276d116b5b7eda0fbf354659243b646f

diff --git a/maintenance/copyFileBackend.php b/maintenance/copyFileBackend.php
index 4e3c7fa..f2c4ac5 100644 (file)
--- a/maintenance/copyFileBackend.php
+++ b/maintenance/copyFileBackend.php
@@ -141,7 +141,11 @@ class CopyFileBackend extends Maintenance {
                        foreach ( $srcPathsRel as $srcPathRel ) {
                                $srcPaths[] = $src->getRootStoragePath() . "/$backendRel/$srcPathRel";
                        }
+                       $t_start = microtime( true );
                        $fsFiles = $src->getLocalReferenceMulti( array( 'srcs' => $srcPaths, 'latest' => 1 ) );
+                       $ellapsed_ms = floor( ( microtime( true ) - $t_start ) * 1000 );
+                       $this->output( "\nDownloaded these file(s) [{$ellapsed_ms}ms]:\n" .
+                               implode( "\n", $srcPaths ) . "\n\n" );
                }
 
                // Determine what files need to be copied over...