Sanity check report size to avoid division by zero

diff --git a/maintenance/importDump.php b/maintenance/importDump.php
index 3243b56..ed8d80e 100644 (file)
--- a/maintenance/importDump.php
+++ b/maintenance/importDump.php
@@ -74,6 +74,10 @@ TEXT;
                }
 
                $this->reportingInterval = intval( $this->getOption( 'report', 100 ) );
+               if ( !$this->reportingInterval ) {
+                       $this->reportingInterval = 100; // avoid division by zero
+               }
+
                $this->dryRun = $this->hasOption( 'dry-run' );
                $this->uploads = $this->hasOption( 'uploads' ); // experimental!
                if ( $this->hasOption( 'image-base-path' ) ) {