Merge "Delete unused variable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Dec 2018 17:25:22 +0000 (17:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Dec 2018 17:25:22 +0000 (17:25 +0000)
includes/specials/SpecialExport.php

index 513e7a9..ef61ac5 100644 (file)
@@ -378,7 +378,6 @@ class SpecialExport extends SpecialPage {
                }
 
                /* Ok, let's get to it... */
-               $lb = false;
                $db = wfGetDB( DB_REPLICA );
 
                $exporter = new WikiExporter( $db, $history );
@@ -406,10 +405,6 @@ class SpecialExport extends SpecialPage {
                }
 
                $exporter->closeStream();
-
-               if ( $lb ) {
-                       $lb->closeAll();
-               }
        }
 
        /**