Merge "Use ResourceLoader::makeComment to embed page title in wiki modules"

[lhc/web/wiklou.git] / maintenance / copyJobQueue.php

diff --git a/maintenance/copyJobQueue.php b/maintenance/copyJobQueue.php
index e833115..c5a7827 100644 (file)
--- a/maintenance/copyJobQueue.php
+++ b/maintenance/copyJobQueue.php
@@ -78,17 +78,15 @@ class CopyJobQueue extends Maintenance {
                        ++$total;
                        $batch[] = $job;
                        if ( count( $batch ) >= $this->mBatchSize ) {
-                               if ( $dst->push( $batch ) ) {
-                                       $totalOK += count( $batch );
-                               }
+                               $dst->push( $batch );
+                               $totalOK += count( $batch );
                                $batch = array();
                                $dst->waitForBackups();
                        }
                }
                if ( count( $batch ) ) {
-                       if ( $dst->push( $batch ) ) {
-                               $totalOK += count( $batch );
-                       }
+                       $dst->push( $batch );
+                       $totalOK += count( $batch );
                        $dst->waitForBackups();
                }
                return array( $total, $totalOK );